2017-10-27 20:46:27 +02:00
|
|
|
|
# Tanım: standart ML derleyicisinin güncel gerçeklemesi
|
2017-09-03 02:02:42 +02:00
|
|
|
|
# URL: http://www.polyml.org
|
2017-10-27 20:46:27 +02:00
|
|
|
|
# Paketçi: milisarge
|
|
|
|
|
|
# Gerekler: libffi
|
2017-09-03 02:02:42 +02:00
|
|
|
|
|
|
|
|
|
|
name=polyml
|
|
|
|
|
|
version=5.7
|
|
|
|
|
|
release=1
|
|
|
|
|
|
source=(https://github.com/${name}/${name}/archive/v${version}.tar.gz::$name-$version.tar.gz)
|
|
|
|
|
|
|
2017-10-27 23:59:41 +02:00
|
|
|
|
derle() {
|
2017-09-03 02:02:42 +02:00
|
|
|
|
cd "$SRC/$name-$version"
|
|
|
|
|
|
./configure --prefix=/usr --without-x --with-system-libffi --with-gmp --enable-shared
|
|
|
|
|
|
make
|
|
|
|
|
|
make -k check
|
|
|
|
|
|
make DESTDIR="$PKG/" install
|
|
|
|
|
|
}
|
