flint:first pisi rel

This commit is contained in:
blue-devil
2020-05-21 02:21:46 +03:00
parent 0e259c013f
commit 792fbcc631
4 changed files with 116 additions and 0 deletions
+24
View File
@@ -0,0 +1,24 @@
#!/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
"""