Sync runtop and natruntop and add otherlibs

RUNTOP and NATRUNTOP now include the same directories and include all
the directories in otherlibs.
master
David Allsopp 2018-02-25 09:59:47 +00:00
parent 01a4c30650
commit 87b5712eba
1 changed files with 10 additions and 3 deletions

View File

@ -280,11 +280,18 @@ INSTALL_STUBLIBDIR=$(DESTDIR)$(STUBLIBDIR)
INSTALL_MANDIR=$(DESTDIR)$(MANDIR)
INSTALL_FLEXDLL=$(INSTALL_LIBDIR)/flexdll
TOPINCLUDES=-I otherlibs/$(UNIXLIB) \
-I otherlibs/bigarray \
-I otherlibs/dynlink \
-I otherlibs/str \
-I otherlibs/$(GRAPHLIB) \
-I otherlibs/raw_spacetime_lib
RUNTOP=./byterun/ocamlrun ./ocaml \
-nostdlib -I stdlib \
-noinit $(TOPFLAGS) \
-I otherlibs/$(UNIXLIB)
NATRUNTOP=./ocamlnat$(EXE) -nostdlib -I stdlib -noinit $(TOPFLAGS)
-noinit $(TOPFLAGS) $(TOPINCLUDES)
NATRUNTOP=./ocamlnat$(EXE) \
-nostdlib -I stdlib \
-noinit $(TOPFLAGS) $(TOPINCLUDES)
ifeq "$(UNIX_OR_WIN32)" "unix"
EXTRAPATH=
else