Richard W.M. Jones
179ac32d01
Work around gcc stack alignment issues, see
...
http://caml.inria.fr/mantis/view.php?id=5700
2014-01-06 19:27:11 +00:00
Richard W.M. Jones
2b6c21aaa3
Add aarch64 (arm64) code generator (correctly this time).
...
This fixes commit efb2ca148b
.
2013-12-31 12:18:07 +00:00
Richard W.M. Jones
efb2ca148b
Add aarch64 (arm64) code generator.
2013-12-30 22:04:26 +00:00
Richard W.M. Jones
0d053e766f
Add bundled(md5-plumb) (thanks: Tomas Mraz).
2013-11-21 11:31:57 +00:00
Richard W.M. Jones
f231f651e6
Add NON-upstream (but being sent upstream) patch to allow --flag=arg
...
as an alternative to --flag arg (RHBZ#1028650).
2013-11-09 09:15:11 +00:00
Richard W.M. Jones
11969865cd
Disable -lcurses. This is not actually used, just linked with unnecessarily.
2013-09-14 16:04:52 +01:00
Richard W.M. Jones
71bcc7c84c
Fix the build on ppc64.
2013-09-14 12:14:22 +01:00
Richard W.M. Jones
2d6392e7eb
Update to new major version 4.01.0.
...
- Rebase patches.
- Remove bogus Requires 'ncurses-devel'. The base ocaml package already
pulls in the library implicitly.
- Remove bogus Requires 'gdbm-devel'. Nothing in the source mentions gdbm.
- Use mkstemp instead of mktemp in ocamlyacc.
- Add LICENSE as doc to some subpackages to keep rpmlint happy.
- Remove .ignore file from some packages.
- Remove period from end of Summary.
2013-09-13 21:45:36 +01:00
Dennis Gilmore
0f377d2b84
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
2013-08-03 09:45:26 -05:00
Richard W.M. Jones
31ee479af5
Fix build dates in changelog.
2013-07-31 13:24:41 +01:00
Dennis Gilmore
6dab9e0d90
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
2013-02-14 02:53:39 -06:00
Richard W.M. Jones
ed0c3aae64
OCaml 4.00.1.
...
- Clean up spec file.
2012-10-16 19:26:03 +01:00
Richard W.M. Jones
0612b77708
ppc supports natdynlink.
2012-08-16 10:18:33 +01:00
Richard W.M. Jones
24e662a3fe
Upgrade to OCaml 4.00.0 official release.
...
- Remove one patch (add -lpthread) which went upstream.
2012-07-28 11:25:14 +01:00
Dennis Gilmore
e5596c32b7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
2012-07-20 00:48:10 -05:00
Richard W.M. Jones
55e460cdec
No change, just fix up changelog.
2012-06-10 21:43:42 +01:00
Richard W.M. Jones
324bd0d871
Rebuild for OCaml 4.00.0.
2012-06-10 21:37:22 +01:00
Richard W.M. Jones
dca4925f9e
- Make OCaml dependency generator self-contained so it doesn't need
...
previous version of OCaml around.
2012-06-07 18:36:30 +01:00
Richard W.M. Jones
518f1af016
Fix PPC64 backend.
2012-06-07 16:57:55 +01:00
Richard W.M. Jones
1837515a64
Upgrade to OCaml 4.00.0 beta 2.
...
- The language is now officially called OCaml (not Objective Caml, O'Caml etc)
- Rebase patches on top:
. New ARM backend patch no longer required, since upstream.
. Replacement config.guess, config.sub no longer required, since upstream
versions are newer.
. ppc64 backend known not to work; will fix shortly.
- New tool: ocamloptp (ocamlopt profiler).
- New VERSION file in ocaml-runtime package.
- New ocaml-compiler-libs subpackage.
- Rearrange ExclusiveArch alphanumerically.
- alpha, ia64 native backends have been removed upstream, so they are
no longer supported as native compiler targets.
- Remove defattr.
2012-06-07 15:17:24 +01:00
Richard W.M. Jones
f67fde615d
Includes fix for minor heap corruption because of unaligned minor heap
...
register (RHBZ#826649).
Unset MAKEFLAGS before running build.
2012-06-06 19:12:53 +01:00
Richard W.M. Jones
958f1c157a
ppc64: Fix position of stack arguments to external C functions
...
when there are more than 8 parameters.
2012-06-06 12:22:35 +01:00
Richard W.M. Jones
963a64f016
- Include patch to link dllthreads.so with -lpthread explicitly, to
...
fix problem with 'pthread_atfork' symbol missing (statically linked)
on ppc64.
2012-06-05 23:10:05 +01:00
Richard W.M. Jones
1296d4b409
- Include svn rev 12548 to fix invalid generation of Thumb-2 branch
...
instruction TBH (upstream PR#5623, RHBZ#821153).
2012-06-03 20:06:35 +01:00
Richard W.M. Jones
64a0f51339
git am </dev/null to avoid hang (thanks Adam Jackson).
2012-05-30 17:40:36 +01:00
Richard W.M. Jones
9cefc9cb13
Clean up the spec file and bring it up to modern standards.
...
* Remove patch fuzz directive.
* Remove buildroot directive.
* Rearrange source unpacking.
* Remove chmod of GNU config.* files, since git does it.
* Don't need to remove buildroot in install section.
* Remove clean section.
Note that I didn't bump the release because there's no need to rebuild
it this time.
2012-05-30 14:22:22 +01:00
Richard W.M. Jones
f3cfaea67e
- Modify the ppc64 patch to reduce the delta between power64 and
...
upstream power backends. Note there is no functional change.
2012-05-30 12:46:08 +02:00
Richard W.M. Jones
66cff0bf14
BR +git
2012-05-29 23:06:11 +01:00
Richard W.M. Jones
a07112286b
Move patches to external git repo.
...
http://git.fedorahosted.org/git/?p=fedora-ocaml.git
2012-05-29 22:54:01 +01:00
Karsten Hopp
7b1e4c1b84
apply patch on ppc archs only
2012-05-15 16:06:43 +02:00
Karsten Hopp
8ca22fff4b
add the patch
2012-05-15 15:53:18 +02:00
Karsten Hopp
4acc11f96b
ppc64 got broken by the new ARM backend, add a minor patch
2012-05-15 15:47:46 +02:00
Richard W.M. Jones
814f517596
New ARM backend by Benedikt Meurer, backported to OCaml 3.12.1.
...
This has several advantages, including enabling natdynlink on ARM.
Provide updated config.guess and config.sub so we can detect the ARM
ABI correctly.
2012-04-28 09:53:31 -04:00
Karsten Hopp
4863fbd07c
- add back ocaml-ppc64.patch for ppc secondary arch, drop .cmxs files from file list on ppc (cherry picked from commit 52c1ade62f
)
2012-01-12 17:08:10 +01:00
Richard W.M. Jones
a334c49ca0
New upstream version 3.12.1.
2012-01-06 12:38:15 +00:00
Peter Robinson
bf42ecab33
update util-linux-ng -> util-linux
2011-12-29 16:26:38 +00:00
Richard Jones
01afb129a4
Allow this package to be compiled on platforms without native support
...
and/or natdynlink, specifically ppc64. This updates (and hopefully
does not break) DJ's previous *.cmxs change for arm.
2011-12-08 16:51:40 +00:00
Richard W.M. Jones
d31f3e67b8
- Add arm type directive patch.
...
- Allow more arm arches.
- Don't package *.cmxs on arm.
(Added by RWMJ on behalf of DJ Delorie)
2011-09-23 21:16:43 +01:00
Richard W.M. Jones
170eee21d4
Fix for invalid assembler generation (RHBZ#691896).
2011-03-30 13:41:38 +01:00
Dennis Gilmore
f83ef8ee6d
- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
2011-02-08 19:34:05 -06:00
Richard W.M. Jones
781dacec3c
Rebuild with self.
2011-01-05 10:04:49 +00:00
Richard W.M. Jones
0c497e0dd0
Try depending on OCaml BR
2011-01-04 23:36:32 +00:00
Richard W.M. Jones
c6dd15b742
- New upstream version 3.12.0.
...
http://fedoraproject.org/wiki/Features/OCaml3.12
- Remove ppc64 support patch.
- Rebase rpath removal patch.
- ocamlobjinfo is now an official tool, so no need to compile it by hand.
Add objinfo_helper.
- Disable ocamlplugininfo.
- Remove addlabels, scrapelabels.
- Remove ocaml/stublibs/dlltkanim.so.
2011-01-04 23:09:22 +00:00
Fedora Release Engineering
9182a36ba6
dist-git conversion
2010-07-29 04:42:05 +00:00
Richard W.M. Jones
982825f20a
Update reference manual to latest version from website.
2010-01-29 15:59:13 +00:00
Richard W.M. Jones
62846e76c2
- Update to 3.11.2 official release.
2010-01-20 21:40:12 +00:00
Richard W.M. Jones
6409abf943
ocaml-labltk-devel should require tcl-devel and tk-devel.
2010-01-05 13:39:51 +00:00
Richard W.M. Jones
7de6ce63a8
Update to (release candidate) 3.11.2+rc1.
2009-12-29 16:30:58 +00:00
Richard W.M. Jones
7975f6bd70
Use __ocaml_requires_opts / __ocaml_provides_opts.
2009-12-16 17:05:33 +00:00
Richard W.M. Jones
be42b9abf4
- Remove ocaml-find-{requires,provides}.sh from this package. These are now
...
in upstream RPM 4.8 (RHBZ#545116).
- define -> global in a few places.
2009-12-16 15:25:40 +00:00