]> CRI, Mines Paris - PSL - Faustine.git/commitdiff
Bug fixed for unix error "readlink /proc/self/fd/0" on MacOS. master
authorwang <wang@wang-OptiPlex-7010.(none)>
Mon, 28 Oct 2013 10:01:55 +0000 (11:01 +0100)
committerwang <wang@wang-OptiPlex-7010.(none)>
Mon, 28 Oct 2013 10:01:55 +0000 (11:01 +0100)
Not yet tested.

Makefile
examples/Makefile
interpreter/main.ml

index 582ead62935aa8c89d395ade7b0298943c18b8eb..e1b6ac3d20e6b8e3416ef3250b0aebc50ba9bfeb 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -36,6 +36,7 @@ mrproper: clean
        @($(MAKE) -C $(EXAMPLES_DIR) clean)
 
 test:
+       @$(MAKE) -C $(SINWAVE_DIR) clean
        @$(MAKE) -C $(SINWAVE_DIR)
 
        @echo "    You might want to check the output file with either:"
index 7163a898212fbc1d335c735315ed9f5ec2976291..2f1924bc2c23effd31e097503d50fcdb83f9e50d 100644 (file)
@@ -1,4 +1,4 @@
-EXAMPLES = 2d_fft close dilation erosion fft open primitives sinwave #licenceplate
+EXAMPLES = 2d_fft close dilation erosion fft open primitives sinwave nstvector #licenceplate
 
 all: examples
 
index 44446463a9b756fecff470f5eaee1985bc7deaf2..e014ca5e01c158b3534d88a283a65e2511802bdd 100644 (file)
@@ -77,7 +77,7 @@ let chk_input_path : string -> bool =
     chk_extension file_in;;
 
 let stdinput = fun (x : unit) ->
-  let path = Unix.readlink "/proc/self/fd/0" in
+  let path = Unix.readlink "/dev/fd/0" in
   if chk_input_path path then
     ( incr size_input;
       inputs := !inputs @ [path] )
@@ -91,7 +91,7 @@ let chk_output_path : string -> bool =
     else true;;
 
 let stdoutput = fun (x : unit) ->
-  let path = Unix.readlink "/proc/self/fd/1" in
+  let path = Unix.readlink "/dev/fd/1" in
   if chk_output_path path then stdout_filename := path
   else ();;