[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Vampire-public] Missing files?
|
From: |
Maxime Biais |
|
Subject: |
Re: [Vampire-public] Missing files? |
|
Date: |
Fri, 26 Sep 2003 01:50:43 +0200 |
Thu, 25 Sep 2003 10:05:31 +0200
Akim Demaille <address@hidden> wrote:
> ~/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
FIXED: errors in src/Makefile.am
I also modify other Autotools input files (configure.ac src/Makefile.am
wrappers/Makefile.am tests/Makefile.am) and use the Automake' support for
Python compilation.
--
Maxime Biais