Implement --use-network option parser

[happyabc/happyabc.git] / INSTALL

diff --git a/INSTALL b/INSTALL
index d72ffb1..ca6676c 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -1,31 +1,9 @@
-Installing Happy ABC on a Unix machine
-======================================
-
-PREREQUISITES
--------------
-
-* ocaml 3.10 or latter
-* omake
-* findlib
-* extlib
-* xml-light
-* oUnit(for unit test)
-
-
-INSTALLATION INSTRUCTIONS
--------------------------
-
-If you type:
-
-   $ omake all
-   $ (omake check)
-   $ (sudo) omake install
-
-then install to a default directory(/usr/local/).
-
-Or,install to another directory:
-
-   $ omake all
-   $ (omake check)
-   $ (sudo) omake install PREFIX=/path/to/
-
+Path:
+       PREFIX
+       LIB_DIR
+       SHARE_DIR
+       BIN_DIR
+
+Options:
+       ENABLE_DEBUG
+       ENABLE_NATIVE