| 123456789101112131415161718192021222324 |
- #!/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
- """
|
