From 4745d0cba82b458d491320c72e564b23899a5310 Mon Sep 17 00:00:00 2001
From: wang <wang@wang-OptiPlex-7010.(none)>
Date: Mon, 28 Oct 2013 11:01:55 +0100
Subject: [PATCH] Bug fixed for unix error "readlink /proc/self/fd/0" on MacOS.
Not yet tested.
---
Makefile | 1 +
examples/Makefile | 2 +-
interpreter/main.ml | 4 ++--
3 files changed, 4 insertions(+), 3 deletions(-)
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 ();;
--
2.20.1