File: README.make

package info (click to toggle)
ladr 0.0.200902a-2
  • links: PTS
  • area: main
  • in suites: squeeze
  • size: 11,400 kB
  • ctags: 7,168
  • sloc: ansic: 59,953; perl: 1,006; python: 620; makefile: 403; sh: 86; csh: 58; modula3: 13
file content (25 lines) | stat: -rw-r--r-- 610 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
 
Compiling Prover9, Mace4, and related programs.
(Tested with Gnu make and GCC 3.3.3, 3.3.5, 4.0.0, 4.0.2., 4.1.1)

    % make all

This compiles 

    ladr library
    mace4 library
    mace4
    prover9              (and related provers)
    miscellaneous apps   (clausefilter, prooftrans, isofilter, etc)

then it moves all the programs and utilities to ./bin.

Quick tests:

   % make test1
   % make test2
   % make test3

Building a package for Debian.  The file libtoolize.patch
(contributed by Peter Collingbourne) can be used to update
the Makefiles so that they build and use a shared LADR
library.