- Remove some automake artefacts.
This commit is contained in:
ccremers
parent
d9d94073d1
commit
cfda7da8d9
182
INSTALL
182
INSTALL
@ -1,182 +0,0 @@
|
|||||||
Basic Installation (UNIX only)
|
|
||||||
==============================
|
|
||||||
|
|
||||||
These are generic installation instructions.
|
|
||||||
|
|
||||||
The `configure' shell script attempts to guess correct values for
|
|
||||||
various system-dependent variables used during compilation. It uses
|
|
||||||
those values to create a `Makefile' in each directory of the package.
|
|
||||||
It may also create one or more `.h' files containing system-dependent
|
|
||||||
definitions. Finally, it creates a shell script `config.status' that
|
|
||||||
you can run in the future to recreate the current configuration, a file
|
|
||||||
`config.cache' that saves the results of its tests to speed up
|
|
||||||
reconfiguring, and a file `config.log' containing compiler output
|
|
||||||
(useful mainly for debugging `configure').
|
|
||||||
|
|
||||||
If you need to do unusual things to compile the package, please try
|
|
||||||
to figure out how `configure' could check whether to do them, and mail
|
|
||||||
diffs or instructions to the address given in the `README' so they can
|
|
||||||
be considered for the next release. If at some point `config.cache'
|
|
||||||
contains results you don't want to keep, you may remove or edit it.
|
|
||||||
|
|
||||||
The file `configure.in' is used to create `configure' by a program
|
|
||||||
called `autoconf'. You only need `configure.in' if you want to change
|
|
||||||
it or regenerate `configure' using a newer version of `autoconf'.
|
|
||||||
|
|
||||||
The simplest way to compile this package is:
|
|
||||||
|
|
||||||
1. `cd' to the directory containing the package's source code and type
|
|
||||||
`./configure' to configure the package for your system. If you're
|
|
||||||
using `csh' on an old version of System V, you might need to type
|
|
||||||
`sh ./configure' instead to prevent `csh' from trying to execute
|
|
||||||
`configure' itself.
|
|
||||||
|
|
||||||
Running `configure' takes awhile. While running, it prints some
|
|
||||||
messages telling which features it is checking for.
|
|
||||||
|
|
||||||
2. Type `make' to compile the package.
|
|
||||||
|
|
||||||
3. Optionally, type `make check' to run any self-tests that come with
|
|
||||||
the package.
|
|
||||||
|
|
||||||
4. Type `make install' to install the programs and any data files and
|
|
||||||
documentation.
|
|
||||||
|
|
||||||
5. You can remove the program binaries and object files from the
|
|
||||||
source code directory by typing `make clean'. To also remove the
|
|
||||||
files that `configure' created (so you can compile the package for
|
|
||||||
a different kind of computer), type `make distclean'. There is
|
|
||||||
also a `make maintainer-clean' target, but that is intended mainly
|
|
||||||
for the package's developers. If you use it, you may have to get
|
|
||||||
all sorts of other programs in order to regenerate files that came
|
|
||||||
with the distribution.
|
|
||||||
|
|
||||||
Compilers and Options
|
|
||||||
=====================
|
|
||||||
|
|
||||||
Some systems require unusual options for compilation or linking that
|
|
||||||
the `configure' script does not know about. You can give `configure'
|
|
||||||
initial values for variables by setting them in the environment. Using
|
|
||||||
a Bourne-compatible shell, you can do that on the command line like
|
|
||||||
this:
|
|
||||||
CC=c89 CFLAGS=-O2 LIBS=-lposix ./configure
|
|
||||||
|
|
||||||
Or on systems that have the `env' program, you can do it like this:
|
|
||||||
env CPPFLAGS=-I/usr/local/include LDFLAGS=-s ./configure
|
|
||||||
|
|
||||||
Compiling For Multiple Architectures
|
|
||||||
====================================
|
|
||||||
|
|
||||||
You can compile the package for more than one kind of computer at the
|
|
||||||
same time, by placing the object files for each architecture in their
|
|
||||||
own directory. To do this, you must use a version of `make' that
|
|
||||||
supports the `VPATH' variable, such as GNU `make'. `cd' to the
|
|
||||||
directory where you want the object files and executables to go and run
|
|
||||||
the `configure' script. `configure' automatically checks for the
|
|
||||||
source code in the directory that `configure' is in and in `..'.
|
|
||||||
|
|
||||||
If you have to use a `make' that does not supports the `VPATH'
|
|
||||||
variable, you have to compile the package for one architecture at a time
|
|
||||||
in the source code directory. After you have installed the package for
|
|
||||||
one architecture, use `make distclean' before reconfiguring for another
|
|
||||||
architecture.
|
|
||||||
|
|
||||||
Installation Names
|
|
||||||
==================
|
|
||||||
|
|
||||||
By default, `make install' will install the package's files in
|
|
||||||
`/usr/local/bin', `/usr/local/man', etc. You can specify an
|
|
||||||
installation prefix other than `/usr/local' by giving `configure' the
|
|
||||||
option `--prefix=PATH'.
|
|
||||||
|
|
||||||
You can specify separate installation prefixes for
|
|
||||||
architecture-specific files and architecture-independent files. If you
|
|
||||||
give `configure' the option `--exec-prefix=PATH', the package will use
|
|
||||||
PATH as the prefix for installing programs and libraries.
|
|
||||||
Documentation and other data files will still use the regular prefix.
|
|
||||||
|
|
||||||
In addition, if you use an unusual directory layout you can give
|
|
||||||
options like `--bindir=PATH' to specify different values for particular
|
|
||||||
kinds of files. Run `configure --help' for a list of the directories
|
|
||||||
you can set and what kinds of files go in them.
|
|
||||||
|
|
||||||
If the package supports it, you can cause programs to be installed
|
|
||||||
with an extra prefix or suffix on their names by giving `configure' the
|
|
||||||
option `--program-prefix=PREFIX' or `--program-suffix=SUFFIX'.
|
|
||||||
|
|
||||||
Optional Features
|
|
||||||
=================
|
|
||||||
|
|
||||||
Some packages pay attention to `--enable-FEATURE' options to
|
|
||||||
`configure', where FEATURE indicates an optional part of the package.
|
|
||||||
They may also pay attention to `--with-PACKAGE' options, where PACKAGE
|
|
||||||
is something like `gnu-as' or `x' (for the X Window System). The
|
|
||||||
`README' should mention any `--enable-' and `--with-' options that the
|
|
||||||
package recognizes.
|
|
||||||
|
|
||||||
For packages that use the X Window System, `configure' can usually
|
|
||||||
find the X include and library files automatically, but if it doesn't,
|
|
||||||
you can use the `configure' options `--x-includes=DIR' and
|
|
||||||
`--x-libraries=DIR' to specify their locations.
|
|
||||||
|
|
||||||
Specifying the System Type
|
|
||||||
==========================
|
|
||||||
|
|
||||||
There may be some features `configure' can not figure out
|
|
||||||
automatically, but needs to determine by the type of host the package
|
|
||||||
will run on. Usually `configure' can figure that out, but if it prints
|
|
||||||
a message saying it can not guess the host type, give it the
|
|
||||||
`--host=TYPE' option. TYPE can either be a short name for the system
|
|
||||||
type, such as `sun4', or a canonical name with three fields:
|
|
||||||
CPU-COMPANY-SYSTEM
|
|
||||||
|
|
||||||
See the file `config.sub' for the possible values of each field. If
|
|
||||||
`config.sub' isn't included in this package, then this package doesn't
|
|
||||||
need to know the host type.
|
|
||||||
|
|
||||||
If you are building compiler tools for cross-compiling, you can also
|
|
||||||
use the `--target=TYPE' option to select the type of system they will
|
|
||||||
produce code for and the `--build=TYPE' option to select the type of
|
|
||||||
system on which you are compiling the package.
|
|
||||||
|
|
||||||
Sharing Defaults
|
|
||||||
================
|
|
||||||
|
|
||||||
If you want to set default values for `configure' scripts to share,
|
|
||||||
you can create a site shell script called `config.site' that gives
|
|
||||||
default values for variables like `CC', `cache_file', and `prefix'.
|
|
||||||
`configure' looks for `PREFIX/share/config.site' if it exists, then
|
|
||||||
`PREFIX/etc/config.site' if it exists. Or, you can set the
|
|
||||||
`CONFIG_SITE' environment variable to the location of the site script.
|
|
||||||
A warning: not all `configure' scripts look for a site script.
|
|
||||||
|
|
||||||
Operation Controls
|
|
||||||
==================
|
|
||||||
|
|
||||||
`configure' recognizes the following options to control how it
|
|
||||||
operates.
|
|
||||||
|
|
||||||
`--cache-file=FILE'
|
|
||||||
Use and save the results of the tests in FILE instead of
|
|
||||||
`./config.cache'. Set FILE to `/dev/null' to disable caching, for
|
|
||||||
debugging `configure'.
|
|
||||||
|
|
||||||
`--help'
|
|
||||||
Print a summary of the options to `configure', and exit.
|
|
||||||
|
|
||||||
`--quiet'
|
|
||||||
`--silent'
|
|
||||||
`-q'
|
|
||||||
Do not print messages saying which checks are being made. To
|
|
||||||
suppress all normal output, redirect it to `/dev/null' (any error
|
|
||||||
messages will still be shown).
|
|
||||||
|
|
||||||
`--srcdir=DIR'
|
|
||||||
Look for the package's source code in directory DIR. Usually
|
|
||||||
`configure' can determine that directory automatically.
|
|
||||||
|
|
||||||
`--version'
|
|
||||||
Print the version of Autoconf used to generate the `configure'
|
|
||||||
script, and exit.
|
|
||||||
|
|
||||||
`configure' also accepts some other, not widely useful, options.
|
|
||||||
28
README
28
README
@ -1,28 +0,0 @@
|
|||||||
This is a development version of Scyther.
|
|
||||||
|
|
||||||
Read NEWS to see whats new in this release.
|
|
||||||
For copyright information see COPYING
|
|
||||||
|
|
||||||
For more information and extensive documentation go to:
|
|
||||||
http://www.win.tue.nl/~ccremers/scyther/
|
|
||||||
|
|
||||||
Scyther requires the argtable2 library, which can be downloaded from
|
|
||||||
http://argtable.sourceforge.net/doc/argtable2.html
|
|
||||||
|
|
||||||
Compile and Install:
|
|
||||||
--------------------
|
|
||||||
|
|
||||||
$ ./configure
|
|
||||||
$ make
|
|
||||||
and then as root
|
|
||||||
# make install
|
|
||||||
|
|
||||||
Configuration options:
|
|
||||||
----------------------
|
|
||||||
|
|
||||||
If you have the argtable2 library installed in some non-standard
|
|
||||||
directory, you can use:
|
|
||||||
$ ./configure LDFLAGS=-L/specialdir/lib CPPFLAGS=-I/specialdir/include
|
|
||||||
|
|
||||||
Use ./configure --help to see the full list of options
|
|
||||||
|
|
||||||
@ -1,9 +0,0 @@
|
|||||||
#! /bin/sh
|
|
||||||
|
|
||||||
set -x
|
|
||||||
aclocal
|
|
||||||
libtoolize --force --copy
|
|
||||||
autoheader
|
|
||||||
automake --add-missing --copy --foreign
|
|
||||||
autoconf
|
|
||||||
|
|
||||||
45
configure.in
45
configure.in
@ -1,45 +0,0 @@
|
|||||||
AC_INIT(src/main.c)
|
|
||||||
AM_INIT_AUTOMAKE(scyther, 0.2, ccremers@win.tue.nl)
|
|
||||||
VERSION="0.1.0"
|
|
||||||
AM_CONFIG_HEADER(src/config.h)
|
|
||||||
AC_CONFIG_SRCDIR(src)
|
|
||||||
|
|
||||||
AC_PROG_LIBTOOL
|
|
||||||
|
|
||||||
dnl find and test the C compiler
|
|
||||||
AC_PROG_CC
|
|
||||||
AC_LANG_C
|
|
||||||
|
|
||||||
# Make sure 'make' program is set.
|
|
||||||
AC_PROG_MAKE_SET
|
|
||||||
|
|
||||||
# Checks for header files.
|
|
||||||
AC_HEADER_STDC
|
|
||||||
AC_CHECK_HEADERS([limits.h malloc.h stddef.h stdlib.h strings.h unistd.h])
|
|
||||||
AC_CHECK_HEADER([argtable2.h], [], AC_MSG_ERROR([Could not find argtable2.h required header file]))
|
|
||||||
|
|
||||||
# Checks for library functions.
|
|
||||||
AC_FUNC_MALLOC
|
|
||||||
AC_FUNC_REALLOC
|
|
||||||
|
|
||||||
# Checks for YACC and (F)LEX
|
|
||||||
AC_PROG_YACC
|
|
||||||
AM_PROG_LEX
|
|
||||||
# Argtable 2 library
|
|
||||||
AC_CHECK_LIB(argtable2, arg_parse,,AC_MSG_ERROR(Could not find the argtable2 libraries (LGPL).
|
|
||||||
Download and install from http://argtable.sourceforge.net/
|
|
||||||
or make sure that the libraries can be found by setting
|
|
||||||
LD_LIBRARY_PATH correctly.))
|
|
||||||
|
|
||||||
AC_ARG_ENABLE(debug,
|
|
||||||
AC_HELP_STRING([--enable-debug], [enable debugging mode]),
|
|
||||||
echo debugOn
|
|
||||||
AC_DEFINE(DEBUG,[1],[Defined if debugging mode is
|
|
||||||
enabled.]),
|
|
||||||
echo debugOff
|
|
||||||
)
|
|
||||||
|
|
||||||
SUBDIRS=src
|
|
||||||
|
|
||||||
dnl read Makefile.in's and write Makefiles
|
|
||||||
AC_OUTPUT(Makefile src/Makefile)
|
|
||||||
@ -1,36 +0,0 @@
|
|||||||
CC = @CC@
|
|
||||||
VERSION = @VERSION@
|
|
||||||
AM_CFLAGS = @CFLAGS@
|
|
||||||
YFLAGS = -d
|
|
||||||
BUILT_SOURCES = parser.h
|
|
||||||
|
|
||||||
bin_PROGRAMS = scyther
|
|
||||||
scyther_SOURCES = main.c \
|
|
||||||
scanner.l parser.y \
|
|
||||||
memory.c memory.h \
|
|
||||||
terms.c terms.h \
|
|
||||||
termmaps.c termmaps.h \
|
|
||||||
termlists.c termlists.h \
|
|
||||||
symbols.c symbols.h \
|
|
||||||
knowledge.c knowledge.h \
|
|
||||||
runs.c runs.h \
|
|
||||||
claims.c claims.h \
|
|
||||||
modelchecker.c modelchecker.h \
|
|
||||||
report.c report.h \
|
|
||||||
error.c error.h \
|
|
||||||
debug.c debug.h \
|
|
||||||
mgu.c mgu.h \
|
|
||||||
substitutions.c substitutions.h \
|
|
||||||
match_basic.c match_basic.h \
|
|
||||||
match_clp.c match_clp.h \
|
|
||||||
constraints.c constraints.h \
|
|
||||||
output.c output.h \
|
|
||||||
latex.c latex.h \
|
|
||||||
varbuf.c varbuf.h \
|
|
||||||
tracebuf.c tracebuf.h \
|
|
||||||
attackminimize.c attackminimize.h \
|
|
||||||
tac.c tac.h \
|
|
||||||
compiler.c compiler.h \
|
|
||||||
pheading.h
|
|
||||||
scyther_LDADD = @LEXLIB@
|
|
||||||
|
|
||||||
Loading…
Reference in New Issue
Block a user