Commits

Markus Mottl committed 92ed930

Fixed native code library debug build target

Comments (0)

Files changed (2)

+2012-01-04: Fixed native code library debug build target.
+
+            Thanks to Stéphane Glondu <glondu@debian.org> for the patch!
+
 2011-11-13: Added extra dependency to improve parallel builds.
 
             Thanks to Edward Schwartz <edmcman@cmu.edu> for the patch!
 # generates byte-code libraries with debugging information (native code)
 debug-native-code-library:	$(PRE_TARGETS)
 			$(QUIET)$(MAKE) -r -f $(OCAMLMAKEFILE) \
-				$(RES_CLIB) $(NCRESULT).cma \
+				$(RES_CLIB) $(NCRESULT).cmxa \
 				REAL_RESULT="$(NCRESULT)" make_deps=yes \
 				REAL_OCAMLC="$(OCAMLOPT)" \
 				CREATE_LIB=yes \