yap-6.3

Archived

This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.

History

rzf 4388f26b59 added support for existential bodies git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2001 b08c6af1-5177-4d33-ba66-4b1c6b8b522a		2007-11-15 12:21:37 +00:00
..
doc	Makefile for documentation	2007-11-15 12:20:07 +00:00
examples	renamed	2007-11-14 14:17:11 +00:00
cplint_Prob.c	removed unused variables and incorrect prototypes	2007-11-08 11:32:14 +00:00
cplint_yap.c	removed unused variables and incorrect prototypes	2007-11-08 11:32:14 +00:00
cplint.h	removed unused variables and incorrect prototypes	2007-11-08 11:32:14 +00:00
cplint.yap	added cplint directory	2007-10-22 12:22:49 +00:00
lpadsld.pl	added support for existential bodies	2007-11-15 12:21:37 +00:00
lpadsld.yap	renamed cplint.yap into lpadsld.yap	2007-11-14 12:40:26 +00:00
Makefile.in	fixed some typos in cplint manual	2007-11-08 17:58:30 +00:00
README	inserted installation instructions	2007-11-08 11:29:43 +00:00
semantics.yap	added cplint directory	2007-10-22 12:22:49 +00:00
semclark.yap	renamed semantics.yap into semclark.yap	2007-11-13 16:41:49 +00:00
test.yap	added support for the compilation of cplint with the option --enable-cplint[=DIR]	2007-11-07 13:02:37 +00:00
testlpadsld_gbfalse.pl	split the file testlpadsld.pl into	2007-11-15 10:48:33 +00:00
testlpadsld_gbtrue.pl	split the file testlpadsld.pl into	2007-11-15 10:48:33 +00:00
testlpadsld.pl	renamed	2007-11-14 18:17:40 +00:00
testlpadsld.yap	renamed test.yap into testlpadsld.yap	2007-11-14 13:09:06 +00:00

README

This directory contains the code of the LPAD anc CP-logic interpreter cplint

COMPILATION:
This package requires GLU (a subpackage of VIS) and GLIB.
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/