git.annexia.org
/
goals.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Implement stdlib directory, -I, --no-prelude, etc.
[goals.git]
/
src
/
Makefile.in
diff --git
a/src/Makefile.in
b/src/Makefile.in
index
29e5382
..
4d6640e
100644
(file)
--- a/
src/Makefile.in
+++ b/
src/Makefile.in
@@
-19,11
+19,12
@@
OBJECTS = \
config.cmx \
utils.cmx \
OBJECTS = \
config.cmx \
utils.cmx \
+ cmdline.cmx \
ast.cmx \
ast.cmx \
+ eval.cmx \
parser.cmx \
lexer.cmx \
parse.cmx \
parser.cmx \
lexer.cmx \
parse.cmx \
- eval.cmx \
main.cmx
all: goals
main.cmx
all: goals
@@
-50,6
+51,8
@@
goals: $(OBJECTS)
parser.ml parser.mli: stamp-parser
stamp-parser: parser.mly
@MENHIR@ --explain $<
parser.ml parser.mli: stamp-parser
stamp-parser: parser.mly
@MENHIR@ --explain $<
+# Hack required to get includes working.
+ echo 'val lexer_read : (Lexing.lexbuf -> token) option ref' >> parser.mli
touch $@
lexer.ml: lexer.mll lexer.cmi parser.ml
touch $@
lexer.ml: lexer.mll lexer.cmi parser.ml