1 files changed, 7 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index 447287b8c3..61594f4f5e 100644
--- a/Makefile
+++ b/Makefile
@@ -37,7 +37,7 @@ NOARG:
 	@echo "For make to be verbose, add VERBOSE=1"
 
 # build and install the three subsystems: coq, coqide, pcoq
-world: coq coqide pcoq
+world: revision coq coqide pcoq
 
 install: install-coq install-coqide install-pcoq
 #install-manpages: install-coq-manpages install-pcoq-manpages
@@ -93,7 +93,6 @@ TIME=           # is "'time -p'" to get compilation time of .v
 
 BOOTCOQTOP= $(TIME) $(BESTCOQTOP) -boot $(COQOPTS) 
 
-
 ###########################################################################
 # Objects files 
 ###########################################################################
@@ -351,7 +350,12 @@ CINCLUDES= -I $(CAMLHLIB)
 CC=gcc
 AR=ar
 RANLIB=ranlib
-BYTECCCOMPOPTS=-fno-defer-pop -Wall -Wno-unused
+
+ifeq ($(CAMLVERSION),OCAML307)
+  CFLAGS=-fno-defer-pop -Wall -Wno-unused -DOCAML_307
+else
+  CFLAGS=-fno-defer-pop -Wall -Wno-unused
+endif
 
 # libcoqrun.a