Do not delete existing rif files.

Instead, add an integer suffix to the file name, e.g.,

  lutin -rif toto.rif (...)

will generate the file toto-2.rif if toto.rif and toto-1.rif already
exist.

polka/Makefile.config

@@ -31,14 +31,14 @@ ifeq ($(HOST_TYPE),mac)
 	CC = gcc -I$(OCAMLLIB)  -L $(OCAMLLIB)
 	GMP_INSTALL=/sw
 else
-ifeq ($(HOST_TYPE),i386-cross-win32)
+ifeq ($(HOST_TYPE),cross-win32)
 	AR = /usr/bin/i586-mingw32msvc-ar
 	CC = /usr/bin/i586-mingw32msvc-gcc
 	CC = /usr/bin/i586-mingw32msvc-gcc -I$(OCAMLLIB)  -L $(OCAMLLIB)
-	GMP_INSTALL=$(HOME)/$(HOSTTYPE)
+	GMP_INSTALL=$(LURETTE_PATH)/working/$(HOSTTYPE)
 else
 	CC = gcc 
-	GMP_INSTALL=$(HOME)/$(HOSTTYPE)
+	GMP_INSTALL=$(LURETTE_PATH)/$(HOSTTYPE)
 endif
 endif
 endif

source/Lutin/mainArg.ml

@@ -246,9 +246,19 @@ let mkoptab () = (
   mkopt
     ["-rif"]
     ~arg:" <string>"
-    (Arg.String(function s -> 
-                  _riffile := Some s;
-                  Luc2c.option.Luc2c.rif <- Some s
+    (Arg.String(function s ->
+                  let s = if not (Sys.file_exists s) then s else
+                    let rec find_free_name b i =
+                      let f = Printf.sprintf "%s-%d.rif" b i in
+                        if Sys.file_exists f then
+                          find_free_name b (i+1)
+                        else
+                          f
+                    in
+                      find_free_name (Filename.chop_extension s) 1
+                  in
+                    _riffile := Some s;
+                    Luc2c.option.Luc2c.rif <- Some s
                ))
     ["Save the generated data using the RIF format"]
   ;