I cloned the repository from the Triple20 github repo but I am not able to find any kind of instructions on what I need to do from this point. There is no README file.
What appears most promising to me is to run triple20/src/triple20.pl
but unfortunately I get this error:
ERROR: /home/nick/Downloads/triple20/src/triple20.pl:12:
ERROR: source_sink `triple20(load)' does not exist
ERROR: /home/nick/Downloads/triple20/src/triple20.pl:22: user:main main/0: Unknown procedure: triple20/1
I have also tried running:
cd triple20
mkdir build
cd build
cmake -DCMAKE_INSTALL_PREFIX=/usr/local/triple20 ..
but this error tells me that was never going to work:
CMake Error: The source directory "/home/nick/Downloads/triple20" does not appear to contain CMakeLists.txt.
Specify --help for usage, or press the help button on the CMake GUI.
Frankly I just do not know what I need to do.