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

Fix configure script for optional compilation of `ctrl2ept'.

Browse source
This commit is contained in:
Nicolas Berthier 2014-10-23 11:05:38 +02:00
parent bc17d71e3f
commit 8551a91a05
2 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
configure vendored
View file

@ -4012,6 +4012,7 @@ $as_echo "not found" >&6; }
if test "${OCAML_PKG_reatk_ctrlNbac}" = "no"; then
package_reatk_ctrlNbac="ocaml"; #dummy flag
ctrln_pp="-UENABLE_CTRLN"
enable_ctrl2ept=no
{ $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: Controllable-Nbac backend and translators disabled." >&5
$as_echo "$as_me: WARNING: Controllable-Nbac backend and translators disabled." >&2;}
else

1
configure.in
View file

@ -67,6 +67,7 @@ AC_CHECK_OCAML_PKG([reatk.ctrlNbac])
if test "${OCAML_PKG_reatk_ctrlNbac}" = "no"; then
package_reatk_ctrlNbac="ocaml"; #dummy flag
ctrln_pp="-UENABLE_CTRLN"
enable_ctrl2ept=no
AC_MSG_WARN([Controllable-Nbac backend and translators disabled.])
else
package_reatk_ctrlNbac="package(reatk.ctrlNbac)"