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.