Commits

OCaml tan  committed 7566ba3

updated compilers

  • Participants
  • Parent commits 95b4218

Comments (0)

Files changed (20)

File compilers/3.11.2.comp

+opam-version: "1"
+version: "3.11.2"
+src: "http://caml.inria.fr/pub/distrib/ocaml-3.11/ocaml-3.11.2.tar.gz"
+patches: ["http://www.ocamlpro.com/patches/3.11.2_binutils.patch"]
+build: [
+  ["./configure" "-prefix" "%{prefix}%"]
+  ["%{make}%" "world"]
+  ["%{make}%" "world.opt"]
+  ["%{make}%" "install"]
+  ["mkdir" "-p" "%{prefix}%/lib/ocaml/compiler-libs"]
+  ["cp" "-r" "typing" "parsing" "utils" "%{prefix}%/lib/ocaml/compiler-libs/"]
+]
+packages: ["base-unix" "base-bigarray" "base-threads"]
+env: [
+  [CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs"]
+]

File compilers/3.11.2.descr

+Official 3.11.2 release

File compilers/3.11.2_binutils.patch

+diff --git a/asmcomp/amd64/emit.mlp b/asmcomp/amd64/emit.mlp
+index 4a3f844..525c6e6 100644
+--- a/asmcomp/amd64/emit.mlp
++++ b/asmcomp/amd64/emit.mlp
+@@ -679,17 +679,18 @@ let fundecl fundecl =
+   emit_all true fundecl.fun_body;
+   List.iter emit_call_gc !call_gc_sites;
+   emit_call_bound_errors ();
++  begin match Config.system with
++    "linux" | "gnu" ->
++      `	.type	{emit_symbol fundecl.fun_name},@function\n`;
++      `	.size	{emit_symbol fundecl.fun_name},.-{emit_symbol fundecl.fun_name}\n`
++    | _ -> ()
++  end;
+   if !float_constants <> [] then begin
+     if macosx
+     then `	.literal8\n`
+     else `	.section	.rodata.cst8,\"a\",@progbits\n`;
+     List.iter emit_float_constant !float_constants
+-  end;
+-  match Config.system with
+-    "linux" | "gnu" ->
+-      `	.type	{emit_symbol fundecl.fun_name},@function\n`;
+-      `	.size	{emit_symbol fundecl.fun_name},.-{emit_symbol fundecl.fun_name}\n`
+-  | _ -> ()
++  end
+ 
+ (* Emission of data *)
+ 
+diff --git a/asmcomp/i386/emit.mlp b/asmcomp/i386/emit.mlp
+index 2992f29..0b1252c 100644
+--- a/asmcomp/i386/emit.mlp
++++ b/asmcomp/i386/emit.mlp
+@@ -905,12 +905,12 @@ let fundecl fundecl =
+   emit_all true fundecl.fun_body;
+   List.iter emit_call_gc !call_gc_sites;
+   emit_call_bound_errors ();
+-  List.iter emit_float_constant !float_constants;
+-  match Config.system with
++  begin match Config.system with
+     "linux_elf" | "bsd_elf" | "gnu" ->
+       `	.type	{emit_symbol fundecl.fun_name},@function\n`;
+       `	.size	{emit_symbol fundecl.fun_name},.-{emit_symbol fundecl.fun_name}\n`
+-  | _ -> ()
++  | _ -> () end;
++  List.iter emit_float_constant !float_constants
+ 
+ 
+ (* Emission of data *)
+-- 

File compilers/4.00.1+BER.comp

+opam-version: "1"
+version: "4.00.1"
+src: "http://caml.inria.fr/pub/distrib/ocaml-4.00/ocaml-4.00.1.tar.bz2"
+patches: ["http://eneide.happyleptic.org/~rixed/metaocaml-opam/ber.patch"]
+build: [
+  ["./configure" "-prefix" "%{prefix}%" "-no-tk"]
+  ["%{make}%" "core"]
+  ["%{make}%" "coreboot"]
+  ["%{make}%" "all"]
+  ["%{make}%" "ocamlopt"]
+  ["%{make}%" "-i" "install"]
+  ["%{make}%" "-C" "ber-metaocaml-100" "all"]
+  ["%{make}%" "-C" "ber-metaocaml-100" "install"]
+]
+packages : [ "base-unix" "base-bigarray" "base-threads" ]
+env: [
+  [ CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs" ]
+]

File compilers/4.00.1+BER.descr

+BER MetaOCaml (http://okmij.org/ftp/ML/MetaOCaml.html)

File compilers/4.00.1+alloc-profiling.comp

+opam-version: "1"
+version: "4.00.1"
+src: "https://github.com/mshinwell/ocaml/tarball/4.00.1-allocation-profiling"
+build: [
+  ["./configure" "-prefix" "%{prefix}%"]
+  ["%{make}%" "world"]
+  ["%{make}%" "world.opt"]
+  ["%{make}%" "install"]
+]
+packages: ["base-unix" "base-bigarray" "base-threads"]
+env: [
+  [CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs"]
+]

File compilers/4.00.1+alloc-profiling.descr

+support allocation profiling on x86_64

File compilers/4.00.1+open-types.comp

+opam-version: "1"
+version: "4.00.1"
+src: "https://github.com/lpw25/ocaml-open/archive/4.00.1+open_types.tar.gz"
+make: [ "world" "world.opt" ]
+packages : [ "base-unix" "base-bigarray" "base-threads" ]
+env: [
+  [ CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs" ]
+]

File compilers/4.00.1+open-types.descr

+add open extensible types to OCaml

File compilers/4.00.1+short-types.comp

 opam-version: "1"
 version: "4.00.1"
-src: "https://github.com/avsm/ocaml/archive/avsm+short-paths.tar.gz"
+src: "https://github.com/avsm/ocaml/archive/4.00.1+short-types.tar.gz"
 make: [ "world" "world.opt" ]
 packages : [ "base-unix" "base-bigarray" "base-threads" ]
 env: [

File compilers/4.01.0dev+endian.comp

 opam-version: "1"
-name: "4.01.0dev+endian"
-src: "https://github.com/avsm/ocaml/archive/avsm-endian-support.tar.gz"
+version: "4.01.0dev"
+src: "https://github.com/avsm/ocaml/archive/avsm+ocp-endian.tar.gz"
 build: [
   ["./configure" "-prefix" "%{prefix}%" "-with-debug-runtime"]
   ["%{make}%" "world"]

File compilers/4.01.0dev+endian.descr

-Improved low-level primitive access
+Improved low-level integer primitive access

File compilers/4.01.0dev+mirage-unix.comp

+opam-version: "1"
+version: "4.01.0dev"
+src: "https://github.com/avsm/ocaml/archive/avsm+ocp-endian.tar.gz"
+build: [
+  ["./configure" "-prefix" "%{prefix}%" "-with-debug-runtime"]
+  ["%{make}%" "world"]
+  ["%{make}%" "world.opt"]
+  ["%{make}%" "install"]
+]
+packages: ["base-unix" "base-threads" "base-bigarray" "lwt" "ocamlfind"]
+env: [
+  [CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs"]
+  [MIRAGE_OS = "unix"]
+  [MIRAGE_NET = "direct"]
+]

File compilers/4.01.0dev+mirage-unix.descr

+UNIX tuntap backend for Mirage

File compilers/4.01.0dev+mirage-xen.comp

+opam-version: "1"
+version: "4.01.0dev"
+src: "https://github.com/avsm/ocaml/archive/avsm+ocp-endian.tar.gz"
+build: [
+  ["./configure" "-prefix" "%{prefix}%" "-with-debug-runtime"]
+  ["%{make}%" "world"]
+  ["%{make}%" "world.opt"]
+  ["%{make}%" "install"]
+  ["sh" "-c" "rm %{lib}%/ocaml/bigarray.*"]
+]
+packages: ["lwt" "ocamlfind" "xenbigarray"]
+env: [
+  [MIRAGE_OS = "xen"]
+  [MIRAGE_NET = "direct"]
+]

File compilers/4.01.0dev+mirage-xen.descr

+Xen unikernel builds for Mirage

File compilers/4.01.0dev+short-paths.comp

+opam-version: "1"
+version: "4.01.0dev"
+src: "https://github.com/ocaml/ocaml/tarball/short-paths-4.01"
+build: [
+  ["./configure" "-prefix" "%{prefix}%" "-with-debug-runtime"]
+  ["%{make}%" "world"]
+  ["%{make}%" "world.opt"]
+  ["%{make}%" "install"]
+]
+packages: ["base-unix" "base-bigarray" "base-threads"]
+env: [
+  [CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs"]
+]

File compilers/4.01.0dev+short-paths.descr

+latest trunk snapshot with short type names

File compilers/4.01.0dev+trunk.comp

+opam-version: "1"
+version: "4.01.0dev"
+src: "https://github.com/ocaml/ocaml/tarball/trunk"
+build: [
+  ["./configure" "-prefix" "%{prefix}%" "-with-debug-runtime"]
+  ["%{make}%" "world"]
+  ["%{make}%" "world.opt"]
+  ["%{make}%" "install"]
+]
+packages: ["base-unix" "base-bigarray" "base-threads"]
+env: [
+  [CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs"]
+]

File compilers/4.01.0dev+trunk.descr

+latest trunk snapshot