Merge pull request #109 from justintoo/add-package-spot
(Package) Add Spot C++ library (v1.99.3)
This commit is contained in:
commit
37db5928b7
18
var/spack/packages/spot/package.py
Normal file
18
var/spack/packages/spot/package.py
Normal file
@ -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")
|
Loading…
Reference in New Issue
Block a user