diff options
author | Todd Gamblin <tgamblin@llnl.gov> | 2015-12-19 21:06:22 -0800 |
---|---|---|
committer | Todd Gamblin <tgamblin@llnl.gov> | 2015-12-19 21:06:22 -0800 |
commit | 37db5928b7d77ea6ee7cb398ff7595956031c790 (patch) | |
tree | f92cba741494d1948117b6404062d339aba176f4 | |
parent | 22a4eb6b27c689945839c017a060972d220b267e (diff) | |
parent | 3691201b4f44da9fc373c8368cc6efaeae7b6387 (diff) | |
download | spack-37db5928b7d77ea6ee7cb398ff7595956031c790.tar.gz spack-37db5928b7d77ea6ee7cb398ff7595956031c790.tar.bz2 spack-37db5928b7d77ea6ee7cb398ff7595956031c790.tar.xz spack-37db5928b7d77ea6ee7cb398ff7595956031c790.zip |
Merge pull request #109 from justintoo/add-package-spot
(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") |