From: wang Date: Mon, 28 Oct 2013 10:01:55 +0000 (+0100) Subject: Bug fixed for unix error "readlink /proc/self/fd/0" on MacOS. X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/commitdiff_plain/4745d0cba82b458d491320c72e564b23899a5310?hp=02c1ef905d2101df872ccccccb2e4c7c0a508571 Bug fixed for unix error "readlink /proc/self/fd/0" on MacOS. Not yet tested. --- diff --git a/Makefile b/Makefile index 582ead6..e1b6ac3 100644 --- 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:" diff --git a/examples/Makefile b/examples/Makefile index 7163a89..2f1924b 100644 --- a/examples/Makefile +++ b/examples/Makefile @@ -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 diff --git a/interpreter/main.ml b/interpreter/main.ml index 4444646..e014ca5 100644 --- a/interpreter/main.ml +++ b/interpreter/main.ml @@ -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 ();;