use Obj.truncate before ocaml 4.09

garrigue · Dec 25, 2021 · 78fcdd2 · 78fcdd2
1 parent f3ccc92
commit 78fcdd2
Show file tree

Hide file tree

Showing 6 changed files with 1,960 additions and 1,189 deletions.
diff --git a/README b/README
@@ -2,7 +2,7 @@
              LablGTK2 2.18.12 : an interface to the GIMP Tool Kit
 
 Needed:
-        ocaml-4.05 or more
+        ocaml-4.06 or more
         gtk+-2.x (gtk+-2.16.x for full functionality)
         findlib 1.2.1 or more (for default install)
         GNU make (there is no standard for conditionals)

diff --git a/config.make.in b/config.make.in
@@ -51,6 +51,9 @@ ODOC_DEF=@ODOC_DEF@
 # if using ocaml >= 3.11, add a -D HAS_PRINTEXC_BACKTRACE (for camlp4)
 HAS_PRINTEXC_BACKTRACE=@HAS_PRINTEXC_BACKTRACE@
 
+# if using ocaml >= 4.09, add a -D HAS_MODIFY_ARGV (for ocamlc)
+HAS_MODIFY_ARGV=@HAS_MODIFY_ARGV@
+
 # where to install the binaries
 prefix=@prefix@
 exec_prefix=@exec_prefix@
@@ -68,7 +71,7 @@ FLINSTALLDIR=$(DESTDIR)$(FINDLIBDIR)/lablgtk2
 FILT = -Wl,--export-dynamic
 clean_libs = $(subst -pthread,-ldopt -pthread -ccopt -pthread,$(subst --rpath,-rpath,$(filter-out $(FILT),$(1))))
 
-GTKCFLAGS=@OCAML_CC_EXTRA_FLAGS@ @GTKALL_CFLAGS@
+GTKCFLAGS=@OCAML_CC_EXTRA_FLAGS@ @GTKALL_CFLAGS@ @HAS_MODIFY_ARGV@
 GTK_LIBS = @GTK_LIBS@
 GTKLIBS:=$(call clean_libs,$(GTK_LIBS))
 GTKGL_LIBS = @GTKGL_LIBS@