blue-devil
24 lines
544 B
Python
24 lines
544 B
Python
#!/usr/bin/python
|
|
# -*- coding: utf-8 -*-
|
|
#
|
|
# Licensed under the GNU General Public License, version 3.
|
|
# See the file http://www.gnu.org/licenses/gpl.txt
|
|
|
|
from pisi.actionsapi import get
|
|
from pisi.actionsapi import autotools
|
|
from pisi.actionsapi import pisitools
|
|
|
|
def setup():
|
|
autotools.rawConfigure("--prefix=/usr --with-gmp=/usr --with-mpfr=/usr --with-ntl=/usr")
|
|
|
|
def build():
|
|
autotools.make()
|
|
|
|
def install():
|
|
autotools.rawInstall("DESTDIR=%s" % get.installDIR())
|
|
pisitools.dodoc("README*")
|
|
|
|
"""
|
|
TODO
|
|
* fix rpath
|
|
""" |