diff options
| author | jtb <jtb> | 2003-06-29 23:04:18 +0000 |
|---|---|---|
| committer | jtb <jtb> | 2003-06-29 23:04:18 +0000 |
| commit | 4118f60b89f38ecaef4097d3d1ad55b7a375bd86 (patch) | |
| tree | 75bfebb7e5fc05261cb15ebe4948e9ca75873d1b /lang/ocaml/patches/patch-ag | |
| parent | 4a2442949f536949fb4971009e6dc7f6c561c63e (diff) | |
| download | pkgsrc-4118f60b89f38ecaef4097d3d1ad55b7a375bd86.tar.gz | |
* Use ".L" instead of "L" as label prefix on sparc
* For consistency use SYS_bsd for system type
on powerpc. We differ from SYS_elf (presumably Linux) on
a few points here anyway.
* Fix signal handling on powerpc which caused a
seg fault when compiling native code version of coq.
* Install ocamllex.opt, camlp4o.opt and camlp4r.opt too.
Diffstat (limited to 'lang/ocaml/patches/patch-ag')
| -rw-r--r-- | lang/ocaml/patches/patch-ag | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/lang/ocaml/patches/patch-ag b/lang/ocaml/patches/patch-ag new file mode 100644 index 00000000000..82467122865 --- /dev/null +++ b/lang/ocaml/patches/patch-ag @@ -0,0 +1,12 @@ +$NetBSD: patch-ag,v 1.1 2003/06/29 23:04:19 jtb Exp $ + +--- asmcomp/power/arch.ml.orig ++++ asmcomp/power/arch.ml +@@ -91,6 +91,5 @@ + let toc = + match Config.system with + | "aix" -> true +- | "elf" -> false +- | "rhapsody" -> false ++ | "elf" | "rhapsody" | "bsd" -> false + | _ -> Misc.fatal_error "wrong $(SYSTEM)" |