fixed bytecode-only compilation

9864ca70 · Jean-Christophe Filliâtre · b183e3fb · 9864ca70 · 9864ca70
Commit 9864ca70 authored Feb 08, 2012 by Jean-Christophe Filliâtre
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 2 deletions

.gitignore .gitignore +1 -0

Makefile.in Makefile.in +2 -2

No files found.
--- a/.gitignore
+++ b/.gitignore
@@ -76,6 +76,7 @@ why3.conf
 /bin/why3stats.opt
 /bin/why3stats
 /bin/why3session.opt
+/bin/why3session.byte
 /bin/why3session

 # /doc/

--- a/Makefile.in
+++ b/Makefile.in
@@ -460,8 +460,8 @@ $(MLWCMO) $(MLWCMX): INCLUDES += -I src/whyml

 # build targets

-byte: $(MLWCMX)
-opt:  $(MLWCMO)
+byte: $(MLWCMO)
+opt:  $(MLWCMX)

 # depend and clean targets