milis/talimatname/genel/m/mlton/talimat

18 lines
541 B
Plaintext
Raw Normal View History

2018-08-02 13:53:07 +02:00
# Tanım: Standart ML derleyicisi
2018-06-09 00:06:58 +02:00
# URL: http://mlton.org/
# Paketçi: milisarge
# Gerekler: setconf python
2018-08-02 13:53:07 +02:00
# Grup: geliştirme
2018-06-09 00:06:58 +02:00
isim=mlton
surum=20130715
devir=1
kaynak=(http://downloads.sourceforge.net/project/$isim/$isim/$surum/$isim-$surum.src.tgz
http://downloads.sourceforge.net/project/$isim/$isim/$surum/$isim-$surum-1.amd64-linux.tgz)
derle() {
setconf usr/bin/mlton lib="$SRC/usr/lib/mlton"
PATH="$PATH:$SRC/usr/bin" make -C "$isim-$surum" -j1 all-no-docs
make -C "$isim-$surum" DESTDIR="$PKG" -j1 install-no-docs
}