Re: [Vampire-public] Missing files?

[Akim Demaille]

 > 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#