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
Why3
why3
Commits
0410955d
Commit
0410955d
authored
Feb 25, 2010
by
Jean-Christophe Filliâtre
Browse files
nettoyage
parent
14acdb4c
Changes
1
Hide whitespace changes
Inline
Side-by-side
Makefile.in
View file @
0410955d
...
...
@@ -62,7 +62,8 @@ COQDEP = @COQDEP@
COQLIB
=
"@COQLIB@"
COQVER
=
@COQVER@
GENERATED
=
src/version.ml src/parser/parser.mli src/parser/parser.ml src/parser/lexer.ml
GENERATED
=
src/version.ml src/parser/parser.mli src/parser/parser.ml
\
src/parser/lexer.ml
# main targets
##############
...
...
@@ -99,8 +100,10 @@ doc/version.tex src/version.ml: Version version.sh config.status
# why
#####
CORE_CMO
=
src/core/name.cmo src/core/ty.cmo src/core/term.cmo src/core/theory.cmo
UTIL_CMO
=
src/util/pp.cmo src/util/loc.cmo src/util/util.cmo src/util/hashcons.cmo
CORE_CMO
=
src/core/name.cmo src/core/ty.cmo src/core/term.cmo
\
src/core/theory.cmo
UTIL_CMO
=
src/util/pp.cmo src/util/loc.cmo src/util/util.cmo
\
src/util/hashcons.cmo
PARSER_CMO
=
src/parser/parser.cmo src/parser/lexer.cmo src/parser/typing.cmo
CMO
=
$(UTIL_CMO)
$(CORE_CMO)
$(PARSER_CMO)
src/pretty.cmo src/main.cmo
...
...
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