Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
LRDE
transformers
Commits
31c4cc0e
Commit
31c4cc0e
authored
May 05, 2004
by
vasseu_c
Browse files
from Clement Vasseur <clement.vasseur@lrde.epita.fr>
* configure.ac: Clean the tools checks for SDF and ESDF.
parent
ec9c2824
Changes
2
Hide whitespace changes
Inline
Side-by-side
specs-grammar/ChangeLog
View file @
31c4cc0e
2004-05-05 Clement Vasseur <clement.vasseur@lrde.epita.fr>
* configure.ac: Clean the tools checks for SDF and ESDF.
2004-04-30 Nicolas Pouillard <ertai@lrde.epita.fr>
* src/syn/Makefile.am: Use esdf.
...
...
specs-grammar/configure.ac
View file @
31c4cc0e
...
...
@@ -20,7 +20,7 @@
AC_PREREQ(2.57)
AC_INIT([specs-grammar], 0.1, [transformers@lrde.epita.fr])
AC_INIT([specs-grammar], 0.1, [transformers
-bugs
@lrde.epita.fr])
# Auxiliary files
AC_CONFIG_AUX_DIR([config])
...
...
@@ -64,8 +64,8 @@ AC_ARG_WITH([boxedsdf],
[BOXEDSDF=$LRDE_SDF]
)
AC_SUBST([BOXEDSDF])
test -f $BOXEDSDF/bin/boxed2
sdf
||
AC_MSG_ERROR([cannot find boxed2
sdf
. Use --with-boxedsdf.])
test -f $BOXEDSDF/bin/boxed2
pp-table
||
AC_MSG_ERROR([cannot find boxed2
pp-table
. Use --with-boxedsdf.])
AC_ARG_WITH([sdf-detgen],
...
...
@@ -74,8 +74,18 @@ AC_ARG_WITH([sdf-detgen],
[DETGEN=$LRDE_SDF]
)
AC_SUBST([DETGEN])
test -f $DETGEN/bin/detgen ||
AC_MSG_ERROR([cannot find detgen. Use --with-sdf-detgen.])
test -f $DETGEN/bin/det-gen ||
AC_MSG_ERROR([cannot find det-gen. Use --with-sdf-detgen.])
AC_ARG_WITH([esdf],
[ --with-esdf=DIR Specify location of ESDF, [LRDE_SDF]],
[ESDF=$withval],
[ESDF=$LRDE_SDF]
)
AC_SUBST([ESDF])
test -f $ESDF/bin/pack-esdf ||
AC_MSG_ERROR([cannot find esdf. Use --with-esdf.])
AC_ARG_WITH(cxx-grammar,
[ --with-cxx-grammar=DIR Specify location of the cxx-grammar, [XT_PATH]],
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment