backup version of @thahmann's macleod scripts that run on Python2 (unsure if this copy is older than the following commit: https://github.com/thahmann/macleod/tree/fa5c900afdb46b34be85865b07ad68b0a520d09b)
the following scripts are unmodified from the original source; this repo is meant as a backup of a working version prior to the python3 change, along with any associated instructions to help users get this running on their macs
the scripts appear to run on python 2.7 on mac os x 10.10+ (yosemite or higher)
- clone repo or download zip from github
- change file paths in macleod_mac.conf (see conf/ folder)
- create provers/ folder with the mac ladr and vampire binaries - send me a msg if you need them but the vampire_mac binaries i have are very old and am unsure if they work
- give macleod_py2 folder executable permission (just in case os-level permission errors show up)
chmod +x macleod_py2
- check your python version (should be python 2.7)
python --version
- install pip and texttable if you haven't already
sudo easy_install pip
sudo pip install texttable
- add src/ and task/ folders to PYTHONPATH variable on your machine
echo $PYTHONPATH
export PYTHONPATH=/path/to/macleod_py2/src:/path/to/macleod_py2/tasks:$PYTHONPATH
if you want to add this to the PYTHONPATH permanently, you will need to modify ~/.bash_profile by appending this at the end of the file (located in home directory; e.g., /Users/cchui/ - this is a hidden file, make sure you enabled viewing hidden files in Finder)
export PYTHONPATH=/path/to/macleod_py2/src:/path/to/macleod_py2/tasks:$PYTHONPATH
- navigate to gui folder and run the gui script
ls
cd macleod_py2
python gui/gui_alpha.py
- open a clif file and see if it parses the imports correctly - if doing nested imports, your file directory in macleod_mac.conf must be accurate otherwise you will get errors
- click buttons to do desired translations or run consistency check
- ladr consistency check appears to work
- vampire has been disabled in the provers section of macleod_mac.conf because it throws an OS-level error with python and it causes macleod to hang (will look at this later but it might also be because the vampire_mac binaries are too old)
tested and confirmed to work for:
- clif to ladr translation
- clif to tptp translation
translations will go into the /generated and /conversions file of wherever you store your ontologies (in this case, mine go to the colore repository)
gui does hang for a little bit if working with big files (be patient?? make a cuppa)