Permalink
Browse files

* Makefile.common: added -bin-annot

  • Loading branch information...
1 parent b561ca1 commit 549e903a43de072de326798f48d7137341129db6 Yoann Padioleau committed Dec 7, 2012
Showing with 8 additions and 3 deletions.
  1. +2 −2 Makefile.common
  2. +1 −1 external/ocamltk/Makefile.config.in
  3. +5 −0 skip_list.txt
View
@@ -28,7 +28,7 @@ OPTOBJS?= $(SRC:.ml=.cmx)
##############################################################################
#dont use -custom, it makes the bytecode unportable.
-OCAMLCFLAGS?=-g -dtypes -thread # -w A
+OCAMLCFLAGS?=-g -bin-annot -dtypes -thread # -w A
# This flag is also used in subdirectories so don't change its name here.
OPTFLAGS?=-thread
@@ -112,7 +112,7 @@ doti:
$(OCAMLC) -i $<
clean::
- rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
+ rm -f *.cm[ioxa] *.cmt *.cmti *.o *.a *.cmxa *.annot
rm -f *~ .*~ *.exe gmon.out #*#
distclean::
@@ -24,7 +24,7 @@ EXCRC=$(LIBDIR)/extract_crc
EXPUNGE=$(LIBDIR)/expunge
CAMLC=ocamlc
-CAMLCOMP=$(CAMLC) -c
+CAMLCOMP=$(CAMLC) -c -bin-annot
CPP=/lib/cpp -P -Dunix
CAMLYACC=ocamlyacc -v
CAMLLEX=ocamllex
View
@@ -3,6 +3,11 @@
##############################################################################
# -------------------------------------------------------------------------
+# dupes cmt
+# -------------------------------------------------------------------------
+file: external/core/condition.cmt
+
+# -------------------------------------------------------------------------
# dupes
# -------------------------------------------------------------------------
file: external/core/condition.mli

0 comments on commit 549e903

Please sign in to comment.