Vampire 5 Linux Installation bug?

[Diego Martinez]

Hello, I am an Undergraduate doing summer research at the University of Alberta.

I have attempted to Install Vampire 5 on Ubuntu Linux on my computer, rather unsuccessfully. I will preface this by saying that am new to Linux, and apologize if my misunderstanding is trivial. I have done the following:

The install.sh file was unable to properly fully install (With sudo) the program; which I then I ran the scrip manually in the terminal with proper sudo/root privileges  

After which I added the export PATH to the terminal (I am a little unsure about this; there is confliction information online and the manual does not go over the process specifically. To my unfortunate ignorance )

I then installed the appropriate packages "builder essential" and "G++" on the terminal, as well as updated them.  

Finally with all three files "vampire-serial, input, and co.mat" in "/opt/vampire/bin/" AND with input and co.mat files having their permissions set to user. I run the "vampire-serial" and it is unable to detect and or read the input file; it dose not see it!

I have tried multiple permutations and variations, with both file locations and permission settings and commands, as well as downloaded the input and co.mat files form all available locations (github, https://vampire.york.ac.uk/download/, and source code). And it is still unable to read the input file; as if it doesn't exists. However, I can read the input file perfectly fine through the terminal if I call it directly e.g. /opt/vampire/bin/input 

I have also checked the log file, and it simply states "Error: Main input file "input" cannot be opened or does not exist." 

I have spent a couple of weeks in this, and would appreciate some guidance.

Thank you

          Diego M.

[Richard Evans]

Hi Diego,

Yes - the input file needs to be in the directory you run from, not the installation directory. Eg if you make a folder 

~/Documents/simulation

cd ~/Documents/simulation

/opt/bin/vampire-serial

Then the input files need to be in ~/Documents/simulation

All the best,

Richard

--
You received this message because you are subscribed to the Google Groups "Vampire Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to vampire-user...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/vampire-users/f5e52d8a-de8e-488f-948f-f2e9667a0f05n%40googlegroups.com.