41 lines
1.1 KiB
Plaintext
41 lines
1.1 KiB
Plaintext
|
This directory contains the code of the LPAD anc CP-logic interpreter cplint
|
||
|
|
|
||
|
|
COMPILATION:
|
||
|
|
This package requires GLU (a subpackage of VIS) and GLIB version 1.2.
|
||
|
|
You can download GLU from http://vlsi.colorado.edu/~vis/getting_VIS_2.1.html
|
||
|
|
You can download GLIB from http://www.gtk.org/. This is a standard Linux package
|
||
|
|
so it is easy to install using the package management software of your Linux
|
||
|
|
distribution
|
||
|
|
|
||
|
|
INSTALLATION:
|
||
|
|
Install glu:
|
||
|
|
1) downlad glu-2.1.tar.gz
|
||
|
|
2) decompress it
|
||
|
|
3) cd glu-2.1
|
||
|
|
3) mkdir arch
|
||
|
|
4) cd arch
|
||
|
|
5) ../configure
|
||
|
|
6) make
|
||
|
|
7) su
|
||
|
|
8) make install
|
||
|
|
This will install glu into /usr/local, if you want to install to a different DIR
|
||
|
|
use ../configure --prefix DIR
|
||
|
|
|
||
|
|
Installation of cplint:
|
||
|
|
When compiling Yap, use
|
||
|
|
configure --enable-cplint
|
||
|
|
Under Windows, you have to use cygwin (glu does not compile under MinGW), so
|
||
|
|
configure --enable-cplint --enable-cygwin
|
||
|
|
If you installed glu in DIR, use --enable-cplint=DIR
|
||
|
|
|
||
|
|
|
||
|
|
FEEDBACK:
|
||
|
|
|
||
|
|
Send feedback to:
|
||
|
|
|
||
|
|
Fabrizio Riguzzi
|
||
|
|
University of Ferrara
|
||
|
|
Dept. of Engineering
|
||
|
|
fabrizio.riguzzi@unife.it
|
||
|
|
http://www.ing.unife.it/Docenti/FabrizioRiguzzi/
|