jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Build system: properly install pervasives.h.

Browse source
This commit is contained in:
Adrien Guatto 2011-11-10 16:52:05 +01:00
parent 1a9dc17618
commit 8b1f4bbe87
3 changed files with 1420 additions and 1554 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2962
configure vendored
View file

File diff suppressed because it is too large Load diff

6
configure.in
View file

@ -3,11 +3,11 @@ AC_INIT(heptagon,1.0)
AC_PROG_INSTALL
AC_ARG_ENABLE(simulator,
[ --enable-simulator enable Why3 IDE],,
[ --enable-simulator enable the graphical simulator],,
enable_simulator=no)
AC_ARG_ENABLE(local_stdlib,
[ --enable-local-stdlib Use the standard library in the source tree],,
[ --enable-local-stdlib use the in-sources standard library],,
enable_local_stdlib=no)
AC_PROG_OCAML
@ -57,4 +57,4 @@ AC_SUBST(stdlib_dir)
AC_SUBST(enable_simulator)
AC_OUTPUT(config)
AC_OUTPUT(config)

6
lib/Makefile
View file

@ -3,7 +3,7 @@ include ../config
STDLIB_INTERFACE=pervasives.epi
STDLIB_OBJ=$(STDLIB_INTERFACE:.epi=.epci)
C_DIR=C
C_DIR=c
C_OBJ=pervasives.h
.SUFFIXES: .epi .epci
@ -18,7 +18,7 @@ all: $(STDLIB_OBJ)
install: all
$(INSTALL) -d $(INSTALL_LIBDIR)
$(INSTALL) $(STDLIB_OBJ) $(STDLIB_INTERFACE) $(INSTALL_LIBDIR)
$(INSTALL) -d $(INSTALL_LIBDIR)
$(INSTALL) -d $(INSTALL_LIBDIR)/$(C_DIR)
(cd c/; $(INSTALL) $(C_OBJ) $(INSTALL_LIBDIR)/$(C_DIR))
clean:
clean: