Installation
Instructions
Visit Temptory-Release to get the latest release.
What Temptory Provides
This package provides the compiler for ATS-Temptory and the core Temptory library.
- tempopt : The compiler for Temptory
- tempacc & mytempacc : Wrappers of
tempaccfor convinience
Options
- For learning ats
- One less dependency to worry about
- libgmp is a required dependency
- For precision in constraint-solving
Required Build Tools
- c compiler (gcc or clang)
- make
Unpack release
ATS-Temptory-int
tar -xzf ATS-Temptory-int-0.0.0.tgz && \
mv ATS-Temptory-int-0.0.0 Temptory
ATS-Temptory-gmp
tar -xzf ATS-Temptory-gmp-0.0.0.tgz && \
mv ATS-Temptory-gmp-0.0.0 Temptory
Environmental Variables
Assuming the archive was unpacked into your home directory, please place the following into your .bashrc or .profile
export TEMPTORY=${HOME}/Temptory
export PATH=${TEMPTORY}/bin:${PATH}
Build Instructions
(cd $TEMPTORY && ./configure && time make all)