[paparazzi-commits] [5865] Use multiple temp file names for generated tmp files, expr_lexer. ml depends on expr_parser.ml

[Allen Ibara]

Revision: 5865
          http://svn.sv.gnu.org/viewvc/?view=rev&root=paparazzi&revision=5865
Author:   aibara
Date:     2010-09-14 21:50:06 +0000 (Tue, 14 Sep 2010)
Log Message:
-----------
Use multiple temp file names for generated tmp files, expr_lexer.ml depends on 
expr_parser.ml

Modified Paths:
--------------
    paparazzi3/trunk/sw/lib/ocaml/Makefile

Modified: paparazzi3/trunk/sw/lib/ocaml/Makefile
===================================================================
--- paparazzi3/trunk/sw/lib/ocaml/Makefile      2010-09-14 21:39:54 UTC (rev 
5864)
+++ paparazzi3/trunk/sw/lib/ocaml/Makefile      2010-09-14 21:50:06 UTC (rev 
5865)
@@ -118,26 +118,31 @@
 
 expr_parser.cmo expr_parser.cmx : expr_parser.cmi expr_syntax.cmi
 expr_parser.cmi : expr_parser.ml expr_syntax.cmi
+expr_lexer.ml : expr_parser.ml
 expr_lexer.cmi : expr_lexer.ml expr_syntax.cmi
 expr_lexer.cmo : expr_lexer.cmi
 expr_syntax.cmo : expr_syntax.cmi
 
 
 gtk_papget_editor.ml : widgets.glade
-       grep -v invisible_char $< > /tmp/$<
-       lablgladecc2 -root papget_editor -hide-default /tmp/$< | grep -B 
1000000 "  end" > $@
+       grep -v invisible_char $< > /tmp/address@hidden<
+       lablgladecc2 -root papget_editor -hide-default /tmp/address@hidden< | 
grep -B 1000000 "  end" > $@
+       @rm /tmp/address@hidden<
 
 gtk_papget_text_editor.ml : widgets.glade
-       grep -v invisible_char $< > /tmp/$<
-       lablgladecc2 -root table_text_editor -hide-default /tmp/$< | grep -B 
1000000 "  end" > $@
+       grep -v invisible_char $< > /tmp/address@hidden<
+       lablgladecc2 -root table_text_editor -hide-default /tmp/address@hidden< 
| grep -B 1000000 "  end" > $@
+       @rm /tmp/address@hidden<
 
 gtk_papget_gauge_editor.ml : widgets.glade
-       grep -v invisible_char $< > /tmp/$<
-       lablgladecc2 -root table_gauge_editor -hide-default /tmp/$< | grep -B 
1000000 "  end" > $@
+       grep -v invisible_char $< > /tmp/address@hidden<
+       lablgladecc2 -root table_gauge_editor -hide-default 
/tmp/address@hidden< | grep -B 1000000 "  end" > $@
+       @rm /tmp/address@hidden<
 
 gtk_papget_led_editor.ml : widgets.glade
-       grep -v invisible_char $< > /tmp/$<
-       lablgladecc2 -root table_led_editor -hide-default /tmp/$< | grep -B 
1000000 "  end" > $@
+       grep -v invisible_char $< > /tmp/address@hidden<
+       lablgladecc2 -root table_led_editor -hide-default /tmp/address@hidden< 
| grep -B 1000000 "  end" > $@
+       @rm /tmp/address@hidden<
 
 clean :
        rm -f *~ *.cm* *.out *.opt .depend *.a *.o *.so tests gtk_papget_*.ml 
expr_parser.ml expr_parser.mli expr_lexer.ml expr_lexer.mli