Commit 7f33da20 authored by François Bobot's avatar François Bobot
Browse files

META

parent 4af6d4e4
description = "OCaml interface to Mlpost"
version = "@VERSION@"
archive(byte) = "why.cma"
archive(native) = "why.cmxa"
requires = "str unix num @META_DYNLINK@ @META_OCAMLGRAPH@"
...@@ -83,14 +83,8 @@ endif ...@@ -83,14 +83,8 @@ endif
# external libraries common to all binaries # external libraries common to all binaries
ifeq (@enable_plugins@,yes)
DYNLINK = dynlink
else
DYNLINK =
endif
EXTOBJS = EXTOBJS =
EXTLIBS = str unix nums $(DYNLINK) EXTLIBS = str unix nums @META_DYNLINK@
EXTCMA = $(addsuffix .cma,$(EXTLIBS)) $(addsuffix .cmo,$(EXTOBJS)) EXTCMA = $(addsuffix .cma,$(EXTLIBS)) $(addsuffix .cmo,$(EXTOBJS))
EXTCMXA = $(addsuffix .cmxa,$(EXTLIBS)) $(addsuffix .cmx,$(EXTOBJS)) EXTCMXA = $(addsuffix .cmxa,$(EXTLIBS)) $(addsuffix .cmx,$(EXTOBJS))
...@@ -240,6 +234,7 @@ install_no_local:: ...@@ -240,6 +234,7 @@ install_no_local::
install_no_local_lib:: install_no_local_lib::
mkdir -p $(OCAMLLIB)/why3 mkdir -p $(OCAMLLIB)/why3
cp -f src/why.cm* $(OCAMLLIB)/why3 cp -f src/why.cm* $(OCAMLLIB)/why3
cp -f META $(OCAMLLIB)/why3
if test -f src/why.a; then cp -f src/why.a $(OCAMLLIB)/why3; fi if test -f src/why.a; then cp -f src/why.a $(OCAMLLIB)/why3; fi
ifeq ("@ENABLE_LOCAL@","no") ifeq ("@ENABLE_LOCAL@","no")
...@@ -983,6 +978,11 @@ doc/version.tex: doc/version.tex.in config.status ...@@ -983,6 +978,11 @@ doc/version.tex: doc/version.tex.in config.status
config.status: configure Version config.status: configure Version
./config.status --recheck ./config.status --recheck
opt byte : META
META: META.in config.status
./config.status chmod --file $@
configure: configure.in configure: configure.in
autoconf autoconf
......
...@@ -334,6 +334,20 @@ else ...@@ -334,6 +334,20 @@ else
ENABLE_LOCAL=yes ENABLE_LOCAL=yes
fi fi
#For the META
if test "$enable_hypothesis_selection" = yes; then
META_OCAMLGRAPH="ocamlgraph"
else
META_OCAMLGRAPH=""
fi
if test "$enable_plugins" = yes; then
META_DYNLINK="dynlink"
else
META_DYNLINK=""
fi
#Viewer for ps and pdf #Viewer for ps and pdf
dnl AC_CHECK_PROGS(PSVIEWER,gv evince) dnl AC_CHECK_PROGS(PSVIEWER,gv evince)
dnl AC_CHECK_PROGS(PDFVIEWER,xpdf acroread evince) dnl AC_CHECK_PROGS(PDFVIEWER,xpdf acroread evince)
...@@ -373,8 +387,11 @@ AC_SUBST(CAMLP5O) ...@@ -373,8 +387,11 @@ AC_SUBST(CAMLP5O)
AC_SUBST(enable_ide) AC_SUBST(enable_ide)
AC_SUBST(enable_plugins) AC_SUBST(enable_plugins)
AC_SUBST(DYNLINK) AC_SUBST(DYNLINK)
AC_SUBST(META_DYNLINK)
AC_SUBST(META_OCAMLGRAPH)
AC_SUBST(enable_coq_support) AC_SUBST(enable_coq_support)
AC_SUBST(COQC) AC_SUBST(COQC)
AC_SUBST(COQDEP) AC_SUBST(COQDEP)
AC_SUBST(COQLIB) AC_SUBST(COQLIB)
...@@ -393,7 +410,7 @@ dnl AC_SUBST(PDFVIEWER) ...@@ -393,7 +410,7 @@ dnl AC_SUBST(PDFVIEWER)
# Finally create the Makefile from Makefile.in # Finally create the Makefile from Makefile.in
dnl AC_OUTPUT(Makefile) dnl AC_OUTPUT(Makefile)
AC_CONFIG_FILES(Makefile src/config.sh doc/version.tex) AC_CONFIG_FILES(Makefile src/config.sh doc/version.tex META)
AC_CONFIG_COMMANDS([chmod], AC_CONFIG_COMMANDS([chmod],
chmod a-w Makefile src/config.sh doc/version.tex; chmod a-w Makefile src/config.sh doc/version.tex;
chmod u+x src/config.sh) chmod u+x src/config.sh)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment