# Description: The Poly/ML compiler for Standard ML
# URL: https://polyml.org/
# Maintainer:  Cory Burgett, cmburget at gmail dot com
# Depends on:

name=polyml
version=5.8.2
release=1
source=(https://github.com/$name/$name/archive/v$version.tar.gz)

build() {
	cd $name-$version

	./configure --prefix=/usr --libexecdir=/usr/lib/$name --sysconfdir=/etc
	make
	make DESTDIR=$PKG install
}