Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
ccb00f18
Commit
ccb00f18
authored
Oct 28, 2015
by
POTTIER Francois
Browse files
Update [make check] to make sure that the demos can be built.
Also, compile Menhir in $$TEMPDIR/$(PACKAGE), not $(PACKAGE).
parent
5f44f7db
Changes
1
Hide whitespace changes
Inline
Side-by-side
GNUmakefile
View file @
ccb00f18
...
...
@@ -132,16 +132,22 @@ package: clean
check
:
@
echo
"-> Checking the package ..."
# Create a temporary directory; extract, build, and install the
# package into it; run the test suite using the installed binary.
# package into it; build the demos and run the test suite using
# the installed binary.
@
TEMPDIR
=
`
mktemp
-d
/tmp/menhir-test.XXXXXX
`
&&
{
\
echo
" * Extracting. "
&&
\
(
cd
$$
TEMPDIR
&&
tar
xfz
$(TARBALL)
)
&&
\
echo
" * Compiling and installing."
&&
\
mkdir
$$
TEMPDIR/install
&&
\
(
cd
$(PACKAGE)
\
(
cd
$$
TEMPDIR/
$(PACKAGE)
\
&&
make
PREFIX
=
$$
TEMPDIR/install
USE_OCAMLFIND
=
false
all
install
\
)
>
$$
TEMPDIR/install.log 2>&1
\
||
(
cat
$$
TEMPDIR/install.log
;
exit
1
)
&&
\
echo
" * Building the demos."
&&
\
(
cd
$$
TEMPDIR/
$(PACKAGE)
\
&&
$(MAKE)
MENHIR
=
$$
TEMPDIR/install/bin/menhir
-C
demos
\
)
>
$$
TEMPDIR/demos.log 2>&1
\
||
(
cat
$$
TEMPDIR/demos.log
;
exit
1
)
&&
\
echo
" * Running the test suite."
&&
\
$(MAKE)
MENHIR
=
$$
TEMPDIR/install/bin/menhir
test
>
$$
TEMPDIR/test.log 2>&1
\
||
(
cat
$$
TEMPDIR/test.log
;
exit
1
)
&&
\
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a 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