blob: 9e539277ae698dd39c4a4448041f7708b5a1548f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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")
|