# This is a shell archive. Save it in a file, remove anything before # this line, and then unpack it by entering "sh file". Note, it may # create directories; files and directories will be owned by you and # have default permissions. # # This archive contains: # # polyml # polyml/Makefile # polyml/distinfo # polyml/pkg-descr # polyml/pkg-plist # echo c - polyml mkdir -p polyml > /dev/null 2>&1 echo x - polyml/Makefile sed 's/^X//' >polyml/Makefile << 'a360e248b3731985fb1dbcf9a277abe4' X# Created by: Timothy Bourke X# $FreeBSD: head/lang/polyml/Makefile 400041 2015-10-23 17:24:12Z danfe $ X XPORTNAME= polyml XPORTVERSION= 5.6 XPORTREVISION= 3 XCATEGORIES= lang XDISTNAME= ${PORTNAME}.${PORTVERSION} XDIST_SUBDIR= ${PORTNAME} X XMAINTAINER= beyert@cs.ucr.edu XCOMMENT= Fast open-source implementation of Standard ML X XLICENSE= LGPL21 X XLIB_DEPENDS= libffi.so:devel/libffi X XONLY_FOR_ARCHS= i386 amd64 X XUSE_GITHUB= yes XGH_TUPLE= polyml:polyml:v5.6 X XUSES= libtool pathfix pkgconfig XGNU_CONFIGURE= yes XCONFIGURE_ARGS= --with-system-libffi --enable-shared XUSE_LDCONFIG= yes X XINSTALL_TARGET= install-strip X XOPTIONS_DEFINE= MOTIF X XMOTIF_CONFIGURE_WITH= x XMOTIF_USE= motif X X.include a360e248b3731985fb1dbcf9a277abe4 echo x - polyml/distinfo sed 's/^X//' >polyml/distinfo << '40bcbc10eb8a205a856e57ba2d971b2e' XSHA256 (polyml/polyml.5.6_GH0.tar.gz) = 20d7b98ae56fe030c64054dbe0644e9dc02bae781caa8994184ea65a94a0a615 XSIZE (polyml/polyml.5.6_GH0.tar.gz) = 6066166 40bcbc10eb8a205a856e57ba2d971b2e echo x - polyml/pkg-descr sed 's/^X//' >polyml/pkg-descr << 'ea2ad9ff3f3e327ca494324e9ff50854' XPoly/ML is a full implementation of Standard ML available as Xopen-source. It includes a symbolic debugger which allows breakpoints Xto be set and local variables to be viewed as ML values. X XWWW: http://www.polyml.org ea2ad9ff3f3e327ca494324e9ff50854 echo x - polyml/pkg-plist sed 's/^X//' >polyml/pkg-plist << '97383426330c156a81cd034f98d31e3b' Xbin/poly Xbin/polyc Xbin/polyimport Xlib/libpolymain.a Xlib/libpolyml.a Xman/man1/poly.1.gz Xman/man1/polyc.1.gz Xman/man1/polyimport.1.gz 97383426330c156a81cd034f98d31e3b exit