milis/talimatname/genel/m/mlton/talimat

17 lines
521 B
Plaintext
Raw Normal View History

2017-10-27 20:46:27 +02:00
# Tanım: standart ML derleyicisi
2017-06-19 11:57:07 +02:00
# URL: http://mlton.org/
2017-10-27 20:46:27 +02:00
# Paketçi: milisarge
# Gerekler: setconf python
2017-06-19 11:57:07 +02:00
2017-10-28 14:10:23 +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)
2017-06-19 11:57:07 +02:00
2017-10-27 23:59:41 +02:00
derle() {
2017-06-19 11:57:07 +02:00
setconf usr/bin/mlton lib="$SRC/usr/lib/mlton"
2017-10-28 14:10:23 +02:00
PATH="$PATH:$SRC/usr/bin" make -C "$isim-$surum" -j1 all-no-docs
make -C "$isim-$surum" DESTDIR="$PKG" -j1 install-no-docs
2017-06-19 11:57:07 +02:00
}