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
9f327f08
Commit
9f327f08
authored
Oct 12, 2015
by
POTTIER Francois
Browse files
Avoid using $(shell pwd) in Makefile, for better Windows compatibility.
parent
8830bf80
Changes
2
Hide whitespace changes
Inline
Side-by-side
CHANGES
View file @
9f327f08
2015/10/12:
Avoid using $(shell pwd) in Makefile, for better Windows compatibility.
2015/10/05:
Fixed a bug where inconsistent OCaml code was generated when --table
and --external-tokens were used together. (Reported by Darin Morrison.)
...
...
src/Makefile
View file @
9f327f08
...
...
@@ -61,7 +61,11 @@ stage1:
# Do not use . to refer to the current directory, because ocamlbuild
# descends into another directory when executing commands.
SRC
:=
$(
shell
pwd
)
# Do not use $(shell pwd) either, because this assumes we are running
# on a Unix platform, and can fail on Windows.
# So, use .., which works fine if ocamlbuild has effectively descended
# into a subdirectory.
SRC
:=
..
FLAGS
:=
-v
-lg
1
-la
1
-lc
1
--comment
--infer
--stdlib
$(SRC)
--strict
--fixed-exception
...
...
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