Updated to OCaml 4.01

vouillon · Sep 15, 2014 · 53172ea · 53172ea
1 parent 6a5b62a
commit 53172ea
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 68 deletions.
diff --git a/config/Makefile b/config/Makefile
@@ -74,3 +74,4 @@ MKMAINDLL=$(BYTECC) -shared
 RUNTIMED=noruntimed
 CAMLP4=
 ASM_CFI_SUPPORTED=false
+WITH_FRAME_POINTERS=false
diff --git a/patches/ocamlbuild.txt b/patches/ocamlbuild.txt
diff --git a/patches/system.txt b/patches/system.txt