[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Vampire-public] Missing files?
From: |
Akim Demaille |
Subject: |
[Vampire-public] Missing files? |
Date: |
Thu, 25 Sep 2003 10:05:31 +0200 |
User-agent: |
Gnus/5.1002 (Gnus v5.10.2) Emacs/21.3 (gnu/linux) |
~/src/vampire % autoreconf -fvi nostromo Err 1
autoreconf: Entering directory `.'
autoreconf: configure.ac: not using Gettext
autoreconf: running: aclocal --force
autoreconf: configure.ac: tracing
autoreconf: configure.ac: not using Libtool
autoreconf: running: /usr/local/bin/autoconf --force
autoreconf: configure.ac: not using Autoheader
autoreconf: running: automake --add-missing --copy --force-missing
configure.ac: installing `config/install-sh'
configure.ac: installing `config/mkinstalldirs'
configure.ac: installing `config/missing'
doc/texinfo/Makefile.am:20: installing `config/mdate-sh'
doc/texinfo/Makefile.am:20: installing `config/texinfo.tex'
autoreconf: Leaving directory `.'
~/src/vampire % ./configure nostromo 10:02
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for gawk... gawk
checking whether make sets $(MAKE)... yes
checking for python... /usr/bin/python
checking for python version... m2.3
checking for python platform... linux2
checking for python script directory... ${prefix}/lib/python2.3/site-packages
checking for python extension module directory...
a${exec_prefix}/lib/python2.3/site-packages
kconfigure: creating ./config.status
e config.status: creating Makefile
config.status: creating src/Makefile
-config.status: creating doc/Makefile
config.status: creating doc/config/Makefile
config.status: creating doc/man/Makefile
config.status: creating doc/texinfo/Makefile
config.status: creating tests/Makefile
config.status: creating tests/parse/Makefile
jconfig.status: creating tests/parse/hosts/Makefile
config.status: creating tests/parse/hosts/good/Makefile
config.status: creating tests/parse/hosts/bad/Makefile
config.status: creating tests/parse/tarballs/Makefile
config.status: creating tests/parse/tarballs/good/Makefile
config.status: creating tests/parse/tarballs/bad/Makefile
config.status: creating tests/xml_elements/Makefile
config.status: creating tests/xml_elements/good/Makefile
config.status: creating tests/xml_elements/bad/Makefile
config.status: creating tests/remote_test/Makefile
config.status: creating wrappers/Makefile
config.status: creating misc/Makefile
config.status: creating misc/completion/Makefile
config.status: executing src/version.py commands
vampire version 0.2 configured successfully.
Using '/usr/local' for installation.
~/src/vampire % make nostromo 10:02
Making all in src
make[1]: Entering directory `/home/akim/src/vampire/src'
make[1]: *** No rule to make target `pexpect.py', needed by `all-am'. Stop.
make[1]: Leaving directory `/home/akim/src/vampire/src'
make: *** [all-recursive] Error 1
- [Vampire-public] Missing files?,
Akim Demaille <=