projects
/
Faustine.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Implement stdin, stdout and stderr to Faustine.
[Faustine.git]
/
INSTALL.txt
diff --git
a/INSTALL.txt
b/INSTALL.txt
index
88ee6e0
..
ebfb17d
100644
(file)
--- a/
INSTALL.txt
+++ b/
INSTALL.txt
@@
-5,8
+5,9
@@
Installing Faustine on a Unix machine
PREREQUISITES
-------------
PREREQUISITES
-------------
-* OCaml is needed (tested version
:
4.00.1).
+* OCaml is needed (tested version
s: 3.12.1,
4.00.1).
* The GNU C compiler gcc is recommended.
* The GNU C compiler gcc is recommended.
+* Standard development utilities are required, such as `make' (install XCode command line tools on Mac OS).
INSTALLATION INSTRUCTIONS
INSTALLATION INSTRUCTIONS
@@
-29,7
+30,7
@@
This phase is fairly verbose; consider redirecting the output to a file:
make > makelog.txt
make > makelog.txt
-3- From the Faustine directory, do:
+3- From
within
the Faustine directory, do:
sudo make install
sudo make install