summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2007-10-30 16:06:41 +0000
committerAlain Frisch <alain@frisch.fr>2007-10-30 16:06:41 +0000
commit9759334c0a02b19522f4a7f23d3a71edd754fe1e (patch)
tree81835260494bef0cf8e1768e2e1f3fb526a082a2
parent004baf7af22b9f62208cc34f220b2d769d64328f (diff)
downloadocaml-9759334c0a02b19522f4a7f23d3a71edd754fe1e.tar.gz
Use flexdll's -where option.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/natdynlink@8464 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--VERSION7
-rw-r--r--byterun/Makefile.nt3
-rw-r--r--config/Makefile.mingw7
-rw-r--r--config/Makefile.msvc8
-rwxr-xr-xconfigure2
5 files changed, 14 insertions, 13 deletions
diff --git a/VERSION b/VERSION
index fefd66183d..b4affff65c 100644
--- a/VERSION
+++ b/VERSION
@@ -1,6 +1 @@
-3.10.0
-
-# The version string is the first line of this file.
-# It must be in the format described in stdlib/sys.mli
-
-# $Id$
+3.10.0 (natdynlink)
diff --git a/byterun/Makefile.nt b/byterun/Makefile.nt
index fceebcb2b9..4016b269ac 100644
--- a/byterun/Makefile.nt
+++ b/byterun/Makefile.nt
@@ -16,7 +16,8 @@
include ../config/Makefile
CC=$(BYTECC)
-CFLAGS=-DOCAML_STDLIB_DIR='"$(LIBDIR)"' -I../../flexdll/
+CFLAGS=-DOCAML_STDLIB_DIR='"$(LIBDIR)"' $(FLEXLINK)
+
COMMONOBJS=interp.o misc.o stacks.o fix_code.o startup.o \
fail.o signals.o signals_byt.o freelist.o major_gc.o minor_gc.o \
diff --git a/config/Makefile.mingw b/config/Makefile.mingw
index 1520336018..118bcc6785 100644
--- a/config/Makefile.mingw
+++ b/config/Makefile.mingw
@@ -17,8 +17,7 @@
######### General configuration
-#PREFIX=C:/ocamlmgw
-PREFIX=C:/cygwin/home/frisch/natdynlink_ins_mingw
+PREFIX=C:/ocamlmgw
### Where to install the binaries
BINDIR=$(PREFIX)/bin
@@ -95,6 +94,10 @@ NATIVECCLIBS=
### How to invoke the C preprocessor
CPP=$(BYTECC) -E
+### Path to the FlexDLL includes
+FLEXDIR=$(shell flexlink -where)
+FLEXLINK=-I"$(FLEXDIR)"
+
### How to build an EXE
MKEXE=flexlink -merge-manifest -chain mingw -exe -o $(1) $(2) -- $(3)
#ml let mkexe out files opts = Printf.sprintf "flexlink -merge-manifest -chain mingw -exe -o %s %s -- %s" out files opts;;
diff --git a/config/Makefile.msvc b/config/Makefile.msvc
index 470d254901..47ebd9d101 100644
--- a/config/Makefile.msvc
+++ b/config/Makefile.msvc
@@ -17,9 +17,7 @@
######### General configuration
-#PREFIX=C:/ocamlms
-PREFIX=C:/cygwin/home/frisch/natdynlink_ins_win32
-
+PREFIX=C:/ocamlms
### Where to install the binaries.
BINDIR=$(PREFIX)/bin
@@ -95,6 +93,10 @@ NATIVECCLIBS=advapi32.lib
### How to invoke the C preprocessor
CPP=cl /nologo /EP
+### Path to the FlexDLL includes
+FLEXDIR=$(shell flexlink -where)
+FLEXLINK=-I"$(FLEXDIR)"
+
### How to build an EXE
MKEXE=flexlink -merge-manifest -exe -o $(1) $(2) -- $(3)
#ml let mkexe out files opts = Printf.sprintf "flexlink -merge-manifest -exe -o %s %s -- %s" out files opts;;
diff --git a/configure b/configure
index 007d16f340..46820f8b10 100755
--- a/configure
+++ b/configure
@@ -499,7 +499,7 @@ if test $withsharedlibs = "yes"; then
cmxs="cmxs"
case "$host" in
*-*-cygwin*)
- flexlink="-I`which flexlink | xargs dirname`"
+ flexlink="-I`flexlink -where`"
mksharedlib="flexlink -chain cygwin -o"
shared_libraries_supported=true;;
*-*-linux-gnu|*-*-linux|*-*-freebsd[3-9]*|*-*-netbsd*|*-*-gnu*)