Commit adffe33d authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

Documentation for enabling configure scripts in order to make possible to set...

Documentation for enabling configure scripts in order to make possible to set various path for dypgen
parent 5220dd8a
......@@ -31,6 +31,24 @@ To install the ACG toolkit, first run:
./configure
NOTE: if your dypgen installation is not in a standard location, run:
./configure --help
It will tell you:
"Some influential environment variables:
DYPGEN_PATH Directory where to find dypgen if not in a standard location
DYPGENLIB_PATH
Directory where to find dypgen library if not in a standard
location
Use these variables to override the choices made by `configure' or to help
it to find libraries and programs with nonstandard names/locations."
For instance, run:
./configure DYPGEN_PATH=/my/dypgen/installation/path/dypgen DYPGENLIB_PATH=/my/dypgen/installation/path/dyplib
Then run:
make
......
......@@ -17,7 +17,7 @@
(* *)
(**************************************************************************)
DEFINE VERSION = "20081211"
DEFINE VERSION = "20090204"
let version = VERSION
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment