diff options
author | Justin Too <justin@doubleotoo.com> | 2015-09-21 11:03:49 -0700 |
---|---|---|
committer | hudson-rose <hudson-rose@llnl.gov> | 2015-09-21 11:04:56 -0700 |
commit | 3691201b4f44da9fc373c8368cc6efaeae7b6387 (patch) | |
tree | f3ce1bd80c36b06268f06260ecdc02cbdb7d44e0 | |
parent | c5c9ada7b0efd9cec5cf55c4cf71d76b186513ff (diff) | |
download | spack-3691201b4f44da9fc373c8368cc6efaeae7b6387.tar.gz spack-3691201b4f44da9fc373c8368cc6efaeae7b6387.tar.bz2 spack-3691201b4f44da9fc373c8368cc6efaeae7b6387.tar.xz spack-3691201b4f44da9fc373c8368cc6efaeae7b6387.zip |
(Package) Add Spot C++ library (v1.99.3)
-rw-r--r-- | var/spack/packages/spot/package.py | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/var/spack/packages/spot/package.py b/var/spack/packages/spot/package.py new file mode 100644 index 0000000000..9e539277ae --- /dev/null +++ b/var/spack/packages/spot/package.py @@ -0,0 +1,18 @@ +from spack import * +import os + +class Spot(Package): + """Spot is a C++11 library for omega-automata manipulation and model checking.""" + homepage = "https://spot.lrde.epita.fr/index.html" + url = "http://www.lrde.epita.fr/dload/spot/spot-1.99.3.tar.gz" + + version('1.99.3', 'd53adcb2d0fe7c69f45d4e595a58254e') + + #depends_on("gcc@4.8:") + depends_on("python@3.2:") + + def install(self, spec, prefix): + configure('--prefix=%s' % prefix) + + make() + make("install") |