| 12345678910111213141516171819 |
- # Tanım: standart ML derleyicisinin güncel gerçeklemesi
- # URL: http://www.polyml.org
- # Paketçi: milisarge
- # Gerekler: libffi
- # Grup: geliştirme
- isim=polyml
- surum=5.7
- devir=1
- kaynak=(https://github.com/${isim}/${isim}/archive/v${surum}.tar.gz::$isim-$surum.tar.gz)
- derle() {
- cd "$SRC/$isim-$surum"
- ./configure --prefix=/usr --without-x --with-system-libffi --with-gmp --enable-shared
- make
- make -k check
- make DESTDIR="$PKG/" install
- }
|
