Replace Sys.time by Unix.time in main.ml.

[Faustine.git] / examples / primitives / Makefile

diff --git a/examples/primitives/Makefile b/examples/primitives/Makefile
index 80d4dbd..fb73fc3 100644 (file)
--- a/examples/primitives/Makefile
+++ b/examples/primitives/Makefile
@@ -2,10 +2,14 @@ EXAMPLE = primitives
 SRC = $(EXAMPLE).dsp
 SAMPLES = 30
 
 SRC = $(EXAMPLE).dsp
 SAMPLES = 30
 

-all: clean $(EXAMPLE)
+BASENAME = output
+FORMAT = csv
+CSVOUT = $(BASENAME)1.$(FORMAT)

 
 

-$(EXAMPLE): $(SRC)
-       faustine -d $(SRC) -t $(SAMPLES) --oformat csv
+all: $(CSVOUT)
+
+$(CSVOUT): $(SRC)
+       faustine -f $(SRC) -l $(SAMPLES) --oformat $(FORMAT) --obasename $(BASENAME)

 
 clean::
        rm -f gmon.out output*
 
 clean::
        rm -f gmon.out output*