Massive conversion from Package to AutotoolsPackage (#2845)

* Massive conversion from Package to AutotoolsPackage

* Forgot to convert p4est to AutotoolsPackage

* Fix typo

* Fix broken link in docs
This commit is contained in:
Adam J. Stewart
2017-01-18 12:34:09 -06:00
committed by Todd Gamblin
parent 5812081b80
commit 02f92fc7f8
313 changed files with 384 additions and 2119 deletions

View File

@@ -25,7 +25,7 @@
from spack import *
class Spot(Package):
class Spot(AutotoolsPackage):
"""Spot is a C++11 library for omega-automata manipulation and model
checking."""
homepage = "https://spot.lrde.epita.fr/index.html"
@@ -35,9 +35,3 @@ class Spot(Package):
# depends_on("gcc@4.8:", type='build')
depends_on("python@3.2:")
def install(self, spec, prefix):
configure('--prefix=%s' % prefix)
make()
make("install")