rpms/apron
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
40 Commits 29 Branches 0 Tags 157 KiB
c445fc7b3d
Commit Graph

40 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Jerry James
c445fc7b3d Some ocaml projects need the debug libraries; add them back in. 2016-02-12 15:45:59 -07:00
Jerry James
aedee9c4f9 Update to latest subversion commit. 
Also:
- Add japron subpackage with the Java interface.
- Add %check script.
- Drop upstreamed -format-security, -mlgmpidl12, -test, and -ppl1 patches.
- Add -texinfo patch to fix documentation build failure.
 2016-02-12 08:36:32 -07:00
Dennis Gilmore
92eaa097cf - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild 2016-02-03 16:23:47 +00:00
Richard W.M. Jones
27e957dc3d Bump release and rebuild. 2015-07-28 20:43:07 +01:00
Richard W.M. Jones
fe8dd53a7c OCaml 4.02.3 rebuild. 2015-07-28 19:01:17 +01:00
Richard W.M. Jones
8f2f861184 Another bytecode fix. 2015-07-21 13:05:23 +01:00
Richard W.M. Jones
a3b324c712 Fix bytecode compilation. 2015-07-21 12:53:29 +01:00
Richard W.M. Jones
e7efeec245 ocaml-4.02.2 final rebuild. 2015-06-24 21:17:52 +01:00
Richard W.M. Jones
701993ffb0 ocaml-4.02.2 rebuild. 2015-06-17 21:49:18 +01:00
Dennis Gilmore
745773e791 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild 2015-06-17 00:52:18 +00:00
Kalev Lember
59dd6fa5e7 Rebuilt for GCC 5 C++11 ABI change 2015-05-02 12:34:33 +02:00
Richard W.M. Jones
b9dd4192c9 ocaml-4.02.1 rebuild. 2015-02-17 10:57:42 +00:00
Jerry James
3c014cd31e Use license macro. 2015-02-11 08:35:04 -07:00
Richard W.M. Jones
a8233068f1 ocaml-4.02.0 final rebuild. 2014-08-31 11:24:26 +01:00
Richard W.M. Jones
386be8a752 ocaml-4.02.0+rc1 rebuild. 2014-08-23 21:03:57 +01:00
Peter Robinson
a8940dd30d - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild 2014-08-15 20:48:19 +00:00
Richard W.M. Jones
db9896ea2e ocaml-4.02.0-0.8.git10e45753.fc22 rebuild. 2014-08-02 12:02:18 +01:00
Jerry James
edd2138e2a OCaml 4.02.0 beta rebuild. 2014-07-21 12:56:50 -06:00
Jerry James
e758f8dd02 Build with -fsigned-char to fix FTBFS on aarch64. 
Use a better test for installing files into 64-bit libdir.
 2014-06-27 17:02:25 -06:00
Dennis Gilmore
0addbd30ac - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild 2014-06-06 20:14:13 -05:00
Jerry James
efaaff9bc5 Rebuild for apron 1.1. 2014-04-30 07:52:14 -06:00
Jerry James
36b230e772 Ensure GNU extensions are enabled to fix build failure. 2014-04-18 08:45:41 -06:00
Richard W.M. Jones
91da7e0810 Remove ocaml_arches macro (RHBZ#1087794). 2014-04-15 13:04:22 +01:00
Jerry James
623bf9c6ba Add -format-security patch. 2013-11-20 09:36:05 -07:00
Richard W.M. Jones
3afccdc590 Fix typo in changelog. 2013-09-19 15:27:25 +01:00
Richard W.M. Jones
fe815b9924 Rebuild for OCaml 4.01.1. 2013-09-14 14:15:25 +01:00
Dennis Gilmore
4b9c503dc3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild 2013-08-02 20:34:41 -05:00
Jerry James
6aa9fe5d4f Add -ppl1 patch to adapt to PPL 1.0 + GMP 5.1.0. 
Update -mlgmpidl12 patch to fix more problems.
 2013-02-14 11:15:40 -07:00
Dennis Gilmore
b5de54a7f6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild 2013-02-13 10:57:59 -06:00
Tom Callaway
3de380447d rebuild for new ppl 2012-11-30 15:15:51 -05:00
Jerry James
40ff9eca3c Rebuild for OCaml 4.00.1. 2012-10-17 17:20:08 -06:00
Jerry James
17f95a3ef5 Fix the tests for GCC 4.7.1. 2012-07-25 15:07:01 -06:00
Dennis Gilmore
6ef196eb11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild 2012-07-18 11:29:03 -05:00
Jerry James
85a0943e38 Rebuild for OCaml 4.00.0. 2012-06-09 19:44:24 -06:00
Jerry James
bc0b9bfedd Adapt to mlgmpidl 1.2. 2012-05-10 10:01:00 -06:00
Jerry James
cc701e3438 Rebuild for new ocaml-mlgmpidl. 2012-05-09 15:51:13 -06:00
Jerry James
57da74c576 Rebuild for GCC 4.7 and Ocaml 3.12.1. 2012-01-06 15:13:41 -07:00
Jerry James
30772dc997 -devel also needs ocaml-camlidl-devel. 
Pass --as-needed to the linker to fix unused shared library dependencies.
 2011-11-08 15:40:27 -07:00
Jerry James
ddcf5ec7e8 Initial import. 2011-11-07 09:32:49 -07:00
Fedora Release Engineering
355bdb8ba0 Initial setup of the repo 2011-11-06 20:37:19 +00:00