diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

support for glib-2.0

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2284 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
rzf 2008-06-19 21:28:33 +00:00
parent a500ac9f97
commit bcfa65e227
3 changed files with 131 additions and 128 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
cplint/doc/manual.css
View File

@ -11,7 +11,6 @@
.cmtt-10{font-family: monospace;}
.cmti-10{ font-style: italic;}
p.noindent { text-indent: 0em }
td p.noindent { text-indent: 0em; margin-top:0em; }
p.nopar { text-indent: 0em; }
p.indent{ text-indent: 1.5em }
@media print {div.crosslinks {visibility:hidden;}}

88
cplint/doc/manual.html
View File

@ -7,7 +7,7 @@
<meta name="originator" content="TeX4ht (http://www.cse.ohio-state.edu/~gurari/TeX4ht/)">
<!-- html -->
<meta name="src" content="manual.tex">
<meta name="date" content="2007-11-17 19:44:00">
<meta name="date" content="2008-06-19 23:25:00">
<link rel="stylesheet" type="text/css" href="manual.css">
</head><body
>
@ -22,7 +22,7 @@ class="cmr-12">Fabrizio Riguzzi</span>
class="cmr-12">fabrizio.riguzzi@unife.it</span></div>
<br />
<div class="date" ><span
class="cmr-12">November 17, 2007</span></div>
class="cmr-12">June 19, 2008</span></div>
</div>
<h3 class="sectionHead"><span class="titlemark">1 </span> <a
id="x1-10001"></a>Introduction</h3>
@ -127,50 +127,52 @@ href="http://www.ncc.up.pt/\protect \unhbox \voidb@x \penalty \@M \relax \unhbox
http://www.ncc.up.pt/<span
class="cmsy-10">~</span>vsc/Yap/downloads.html </a>.
<!--l. 62--><p class="indent"> <span
class="cmtt-10">cplint </span>requires glu (a subpackage of vis) and glib. You can download glu from <a
href="http://vlsi.colorado.edu/\protect \unhbox \voidb@x \penalty \@M \relax \unhbox \voidb@x \special {t4ht@+&{35}x00A0{59}}x{}vis/getting_VIS_2.1.html" >
http://vlsi.colorado.edu/<span
class="cmsy-10">~</span>vis/getting_VIS_2.1.html </a> You can download glib from
<a
href="http://www.gtk.org/" > http://www.gtk.org/ </a>. This is a standard GNU package so it is easy to
install it using the package management software of your Linux or Cygwin
distribution.
class="cmtt-10">cplint </span>requires glu (a subpackage of vis) and glib-2.0. You can download glu
from <a
href="http://vlsi.colorado.edu/\protect \unhbox \voidb@x \penalty \@M \relax \unhbox \voidb@x \special {t4ht@+&{35}x00A0{59}}x{}vis/getting_VIS_2.1.html" > http://vlsi.colorado.edu/<span
class="cmsy-10">~</span>vis/getting_VIS_2.1.html </a> You can download
glib-2.0 (version <span
class="cmsy-10">&#x2265; </span>2<span
class="cmmi-10">.</span>0) from <a
href="http://www.gtk.org/" > http://www.gtk.org/ </a>. This is a standard GNU package
so it is easy to install it using the package management software of your Linux or
Cygwin distribution.
<!--l. 68--><p class="indent"> Install glu:
<ol class="enumerate1" >
<li
class="enumerate" id="x1-2002x1">downlad <span
<li class="enumerate"><a
id="x1-2002x1"></a>downlad <span
class="cmtt-10">glu-2.1.tar.gz</span>
</li>
<li
class="enumerate" id="x1-2004x2">decompress it
<li class="enumerate"><a
id="x1-2004x2"></a>decompress it
</li>
<li
class="enumerate" id="x1-2006x3"><span
<li class="enumerate"><a
id="x1-2006x3"></a><span
class="cmtt-10">cd glu-2.1</span>
</li>
<li
class="enumerate" id="x1-2008x4"><span
<li class="enumerate"><a
id="x1-2008x4"></a><span
class="cmtt-10">mkdir arch</span>
</li>
<li
class="enumerate" id="x1-2010x5"><span
<li class="enumerate"><a
id="x1-2010x5"></a><span
class="cmtt-10">cd arch</span>
</li>
<li
class="enumerate" id="x1-2012x6"><span
<li class="enumerate"><a
id="x1-2012x6"></a><span
class="cmtt-10">../configure</span>
</li>
<li
class="enumerate" id="x1-2014x7"><span
<li class="enumerate"><a
id="x1-2014x7"></a><span
class="cmtt-10">make</span>
</li>
<li
class="enumerate" id="x1-2016x8"><span
<li class="enumerate"><a
id="x1-2016x8"></a><span
class="cmtt-10">su</span>
</li>
<li
class="enumerate" id="x1-2018x9"><span
<li class="enumerate"><a
id="x1-2018x9"></a><span
class="cmtt-10">make install</span></li></ol>
<!--l. 80--><p class="noindent">This will install glu into <span
class="cmtt-10">/usr/local</span>, if you want to install to a different <span
@ -773,11 +775,13 @@ class="cmtt-10">&#x00A0;testlpadsld_gbfalse.pl,</span><span
class="cmtt-10">&#x00A0;testlpad.pl,</span></span></span>
<span class="obeylines-h"><span class="verb"><span
class="cmtt-10">testcpl.pl,</span><span
class="cmtt-10">&#x00A0;testsemcpl.pl</span></span></span>: Prolog programs for testing the modules.
They are executed when issuing the command <span
class="cmtt-10">make installcheck </span>during
the installation. To execute them afterwords, load the file and issue the
command <span
class="cmtt-10">&#x00A0;testsemlpadsld.pl,</span><span
class="cmtt-10">&#x00A0;testsemlpad.pl</span><span
class="cmtt-10">&#x00A0;testsemcpl.pl</span></span></span>:
Prolog programs for testing the modules. They are executed when issuing
the command <span
class="cmtt-10">make installcheck </span>during the installation. To execute
them afterwords, load the file and issue the command <span
class="cmtt-10">t.</span>
</li>
<li class="itemize">Subdirectory <span
@ -863,7 +867,7 @@ class="cmtt-10">invalid.cpl</span>: programs taken from <span class="cite">[<a
href="#XCP-logic-unp">13</a>]</span>. <span
class="cmtt-10">invalid.cpl </span>is an example
of a program that is invalid but sound.</li></ul>
<!--l. 397--><p class="noindent" >The files <span
<!--l. 398--><p class="noindent">The files <span
class="cmtt-10">*.uni </span>that are present for some of the examples are used by the
semantical modules. Some of the example files contain in an initial comment
some queries together with their result.
@ -871,18 +875,18 @@ class="cmtt-10">*.uni </span>that are present for some of the examples are used
<li class="itemize">Subdirectory <span
class="cmtt-10">doc</span>: contains this manual in latex, html and pdf.</li></ul>
<!--l. 400--><p class="noindent" >
<!--l. 401--><p class="noindent">
<h3 class="sectionHead"><span class="titlemark">8 </span> <a
id="x1-80008"></a>License</h3>
<!--l. 405--><p class="noindent" ><span
<!--l. 406--><p class="noindent"><span
class="cmtt-10">cplint</span>, as Yap, follows the Artistic License 2.0 that you can find in Yap CVS root
dir. The copyright is by Fabrizio Riguzzi.
<!--l. 410--><p class="indent" > The program uses the library <a
<!--l. 411--><p class="indent"> The program uses the library <a
href="http://vlsi.colorado.edu/\protect \unhbox \voidb@x \penalty \@M \relax \unhbox \voidb@x \special {t4ht@+&{35}x00A0{59}}x{}fabio/" > CUDD </a> for manipulating BDDs that is included in
glu. For the use of CUDD, the following license must be accepted:
<!--l. 415--><p class="indent" > Copyright (c) 1995-2004, Regents of the University of Colorado
<!--l. 417--><p class="indent" > All rights reserved.
<!--l. 419--><p class="indent" > Redistribution and use in source and binary forms, with or without modification,
<!--l. 416--><p class="indent"> Copyright (c) 1995-2004, Regents of the University of Colorado
<!--l. 418--><p class="indent"> All rights reserved.
<!--l. 420--><p class="indent"> Redistribution and use in source and binary forms, with or without modification,
are permitted provided that the following conditions are met:
<ul class="itemize1">
<li class="itemize">Redistributions of source code must retain the above copyright notice, this
@ -895,7 +899,7 @@ are permitted provided that the following conditions are met:
<li class="itemize">Neither the name of the University of Colorado nor the names of its
contributors may be used to endorse or promote products derived from
this software without specific prior written permission.</li></ul>
<!--l. 436--><p class="noindent" >THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS
<!--l. 437--><p class="noindent">THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS
<br class="newline" />AND CONTRIBUTORS &#8221;AS IS&#8221; AND ANY EXPRESS OR IMPLIED
WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
@ -909,7 +913,7 @@ INTERRUPTION) HOWEVER CAU-SED
LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
<!--l. 450--><p class="indent" > <span
<!--l. 451--><p class="indent"> <span
class="cmtt-10">lpad.pl</span>, <span
class="cmtt-10">semlpad.pl </span>and <span
class="cmtt-10">cpl.pl </span>are based on the SLG system by <a

BIN
cplint/doc/manual.pdf
View File

Binary file not shown.