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
fda1fc44
Commit
fda1fc44
authored
Mar 22, 2017
by
POTTIER Francois
Browse files
No need to [make -C src library] when compiling Menhir.
This should speed up installation slightly.
parent
259d1604
Changes
1
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
fda1fc44
...
...
@@ -120,8 +120,9 @@ all:
else
\
echo
"let ocamlfind = false"
>>
src/installation.ml
;
\
fi
# Compile the library modules and the Menhir executable.
@
$(MAKE)
-C
src
library
bootstrap
# Compile the Menhir executable.
# This causes MenhirLib to be compiled, too, as it is used inside Menhir.
@
$(MAKE)
-C
src
bootstrap
# The source file menhirLib.ml is created by concatenating all of the source
# files that make up MenhirLib. This file is not needed to compile Menhir or
# MenhirLib. It is installed at the same time as MenhirLib and is copied by
...
...
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