[r2005-04-12 11:38:20 by afrisch] Empty log message

Original author: afrisch
Date: 2005-04-12 11:38:20+00:00

Makefile.types

@@ -28,16 +28,17 @@ ML_SRC= \
  cduce/runtime/explain.ml \
  cduce/runtime/serial.ml
 
-CDUCE_OBJECTS=$(ML_SRC:.ml=.cmo)
+CMO_OBJECTS=$(ML_SRC:.ml=.cmo)
+CMX_OBJECTS=$(ML_SRC:.ml=.cmx)
 
-$(CDUCE_OBJECTS) $(CDUCE_OBJECTS:.cmo=.cmi): $(COMPILER)
-$(CDUCE_OBJECTS:.cmo=.cmx): $(OPTCOMPILER)
+$(CMO_OBJECTS) $(CMX_OBJECTS): $(COMPILER)
+$(CMX_OBJECTS): $(OPTCOMPILER)
 
-cduce_types.cmo: $(CDUCE_OBJECTS)
-	$(CAMLC) $(COMPFLAGS) -pack -o cduce_types.cmo $(CDUCE_INCLUDES) $(CDUCE_OBJECTS)
+cduce_types.cmo: $(CMO_OBJECTS)
+	$(CAMLC) $(COMPFLAGS) -pack -o cduce_types.cmo $(CDUCE_INCLUDES) $(CMO_OBJECTS)
 
-cduce_types.cmx: $(CDUCE_OBJECTS:.cmo=.cmx)
-	$(CAMLOPT) $(OPTCOMPFLAGS) -pack -o cduce_types.cmx $(CDUCE_INCLUDES) $(CDUCE_OBJECTS)
+cduce_types.cmx: $(CMX_OBJECTS)
+	$(CAMLOPT) $(OPTCOMPFLAGS) -pack -o cduce_types.cmx $(CDUCE_INCLUDES) $(CMX_OBJECTS)
 
 cduce_types.p.cmx: cduce_types.cmx
 	cp cduce_types.cmx cduce_types.p.cmx