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 |
|