projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Refactor the statistics gathering code in run.ml
[tatoo.git]
/
Remakefile.in
diff --git
a/Remakefile.in
b/Remakefile.in
index
a4fe1c9
..
1ff0b30
100644
(file)
--- a/
Remakefile.in
+++ b/
Remakefile.in
@@
-37,7
+37,7
@@
clean:
for dir in src tools; do
find $dir -name '*.cm*' -o -name '*.o' -o -name '*.byte' -o \
-name '*.native' -o -name '*.mll' -o -name '*.mly' -o \
for dir in src tools; do
find $dir -name '*.cm*' -o -name '*.o' -o -name '*.byte' -o \
-name '*.native' -o -name '*.mll' -o -name '*.mly' -o \
- -name '*.class' -o -name '*.depo' -o -name '*.depx' | while read file; do
+ -name '*.class' -o -name '*.depo' -o -name '*.depx'
-o -name '*.ml.str'
| while read file; do
case "$file" in
*.mll)
rm -f "${file%.mll}.ml"
case "$file" in
*.mll)
rm -f "${file%.mll}.ml"
@@
-45,8
+45,11
@@
clean:
*.mly)
rm -f "${file%.mly}.ml" "${file%.mly}.mli"
;;
*.mly)
rm -f "${file%.mly}.ml" "${file%.mly}.mli"
;;
+ *.ml.str)
+ rm -f "${file%.ml.str}.ml"
+ ;;
*)
*)
- rm -f "$file"
+
rm -f "$file"
;;
esac
done
;;
esac
done
@@
-78,6
+81,12
@@
distclean: clean test_clean
elif test -f $*.mll; then
$(REMAKE) $*.mll
$(OCAMLLEX) $*.mll
elif test -f $*.mll; then
$(REMAKE) $*.mll
$(OCAMLLEX) $*.mll
+ elif test -f $*.ml.str; then
+ $(REMAKE) $*.ml.str
+ echo -n 'let content = "' > $*.ml
+ sed -e 's/\(["\\]\)/\\\1/g' $*.ml.str | sed -e 's/^\(.*\)$/\1\\n\\/g' >> $*.ml
+ echo '' >> $*.ml
+ echo '"' >> $*.ml
fi
%.cmx %.depx:
fi
%.cmx %.depx: