Generate cmt.

Nirei · Aug 22, 2019 · 4018924 · 4018924
1 parent d3e3c0b
commit 4018924
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Makefile.rules b/Makefile.rules
@@ -12,7 +12,7 @@ include $(top_srcdir)/Makefile.defs
 all: all-local all-subdirs all-auto
 install: install-local install-subdirs
 clean: clean-subdirs clean-local clean-buildings
-	rm -f *.~ *.orig *.cmo *.cmi *.cmx *.cma *.cmxa *.cmxs *.o *.so *.a *.annot
+	rm -f *.~ *.orig *.cmo *.cmi *.cmx *.cma *.cmxa *.cmxs *.o *.so *.a *.annot *.cmt *.cmti
 doc: doc-local doc-subdirs doc-auto
 
 # Those rules must be bound

diff --git a/configure.ac b/configure.ac
@@ -210,7 +210,7 @@ fi
 requires="unix threads str"
 if test "$enable_debugging" \!= "no" ; then
   CFLAGS="$CFLAGS -g"
-  liquidsoap_ocamlcflags="-g -annot $liquidsoap_ocamlcflags"
+  liquidsoap_ocamlcflags="-g -annot -bin-annot $liquidsoap_ocamlcflags"
   liquidsoap_ocamllflags="-g $liquidsoap_ocamllflags"
 fi
 # Disable nativecode if ocamlopt is not present