[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Vampire-public] Missing files?
From: |
Akim Demaille |
Subject: |
Re: [Vampire-public] Missing files? |
Date: |
Fri, 26 Sep 2003 09:50:05 +0200 |
User-agent: |
Gnus/5.1002 (Gnus v5.10.2) Emacs/21.3 (gnu/linux) |
> 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 ran make with success, but then:
make[1]: Nothing to be done for `all-am'.
make[1]: Leaving directory `/home/akim/src/vampire'
~/src/vampire % su nostromo 9:49
Password:
nostromo# make install
Making install in src
make[1]: Entering directory `/home/akim/src/vampire/src'
make[2]: Entering directory `/home/akim/src/vampire/src'
/bin/sh ../config/mkinstalldirs /usr/local/bin
/usr/bin/install -c vampire.py /usr/local/bin/vampire.py
/usr/bin/install -c vampire-xml2html.py /usr/local/bin/vampire-xml2html.py
make[2]: *** No rule to make target `confversion.py', needed by
`install-pythonPYTHON'. Stop.
make[2]: Leaving directory `/home/akim/src/vampire/src'
make[1]: *** [install-am] Error 2
make[1]: Leaving directory `/home/akim/src/vampire/src'
make: *** [install-recursive] Error 1
nostromo#