18 lines
430 B
Plaintext
18 lines
430 B
Plaintext
|
# Tanım: standart ML derleyicisinin güncel gerçeklemesi
|
|||
|
|
# URL: http://www.polyml.org
|
|||
|
|
# Paketçi: milisarge
|
|||
|
|
# Gerekler: libffi
|
|||
|
|
|
|||
|
|
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
|
|||
|
|
}
|