polyml - interpreter and interactive compiler for Standard ML

Distribution: Ubuntu 16.04 LTS (Xenial Xerus)
Repository: Ubuntu Universe amd64
Package name: polyml
Package version: 5.6
Package release: 3
Package architecture: amd64
Package type: deb
Installed size: 14.43 KB
Download size: 1.68 MB
Official Mirror: archive.ubuntu.com
Poly/ML is an implementation of the Standard ML programming language Standard ML is a general-purpose, modular, type-safe, strict, functional programming language. Poly/ML is SML 97 compliant interpreter and compiler that supports the generation of stand-alone executables with an interactive toplevel (REPL). This package provides the top-level interpreter and compiler.



    Binary package: polyml_5.6-3_amd64.deb
    Source package: polyml

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install polyml deb package:
      # sudo apt-get install polyml


    • /usr/bin/poly
    • /usr/bin/polyc
    • /usr/bin/polyimport
    • /usr/lib/x86_64-linux-gnu/libpolymain.a
    • /usr/share/doc/polyml/changelog.Debian.gz
    • /usr/share/doc/polyml/copyright
    • /usr/share/man/man1/poly.1.gz
    • /usr/share/man/man1/polyc.1.gz
    • /usr/share/man/man1/polyimport.1.gz


    2016-03-12 - James Clarke <jrtc27@jrtc27.com> polyml (5.6-3) unstable; urgency=low * Support for the Hurd * Build is now reproducible * Bump up Standards-Version to 3.9.7 * New patches: - alpha.diff: Add support for alpha - bss-ioarea.diff: Export ioarea to bss section - m68k.diff: Add support for m68k - maxpathlen.diff: Remove all use of MAXPATHLEN - mips64.diff: Add support for mips64/mips64el - noexec-stack-gnu.diff: Mark stack as non-executable on all GNU systems - noflsh-unsigned.diff: Cast NOFLSH to unsigned (fixes a warning on the Hurd) - source-date-epoch.diff: Use SOURCE_DATE_EPOCH instead of current time if it is defined - x32.diff: Add support for x32

    2016-02-01 - James Clarke <jrtc27@jrtc27.com> polyml (5.6-2) unstable; urgency=low * Replaced soft-float-rounding.diff with upstream's rounding-mode-test-allow-exceptions.diff, rounding-mode-test-only-allow-exceptions-for-set-mode.diff, soft-fpu.diff and disable-compile-time-real-eval.diff. Avoids modifying the test driver, instead skipping the test if unsupported directly inside the test itself. * New patches (excluding soft-float-rounding.diff replacements): - fix-heap-ratio-assert.diff: Backport upstream's fix to let the calculated minimum heap size be the same as the desired value. Previously it failed an assertion. - fix-script-args.diff: Backport upstream's fix so --script can be used with additional command-line arguments. - mips-abi.diff: Mark polyexport.o as CPIC on MIPS when code is position-independent. Fixes ld warning about linking abicalls files with non-abicalls files. - unix-const-vec-unsigned.diff: Define unixConstVec as unsigned. Fixes narrowing conversion inside braces on PowerPC with GCC 6. - use-polyunsigned-consistently-for-stream-ids.diff: Backport upstream's fix so POLYUNSIGNED is used everywhere to refer to stream IDs, avoiding implicit narrowing conversions. Includes fixed realloc failure handling.

    2016-01-25 - James Clarke <jrtc27@jrtc27.com> polyml (5.6-1) unstable; urgency=low * New upstream version * Removed patches applied upstream * Rename libpolyml6 to libpolyml7 * New patches: - ioctl-int.diff: Use int instead of unsigned long for ioctl calls. Fixes Tests/Succeed/Test083.ML on 64-bit big-endian architectures. - s390.diff: Add support for S/390 (both s390 and s390x). - soft-float-rounding.diff: Don't support rounding modes for soft-float systems. Skips Tests/Succeed/Test121.ML on armel. - streamtoken-endian.diff: Use a POLYUNSIGNED for StreamToken.streamNo. Fixes stream issues on 64-bit big-endian architectures.

    2016-01-24 - James Clarke <jrtc27@jrtc27.com> polyml (5.5.2-4) unstable; urgency=low * Take over as uploader * New patches: - make-check.diff: Backport upstream's fix so 'make check' runs the regression test suite - mips.diff: Backport upstream's support for mips - mipsel.diff: Backport upstream's support for mipsel - pexport-endian.diff: Backport upstream's fix for big-endian architectures - ppc64.diff: Backport upstream's support for ppc64 and ppc64el

    2015-10-20 - James Clarke <jrtc27@jrtc27.com> polyml (5.5.2-3) unstable; urgency=low * Team upload. * Backport upstream's arm64 support (Closes: #802341) * Added file dependency (required by polyc)

    2015-10-17 - James Clarke <jrtc27@jrtc27.com> polyml (5.5.2-2) unstable; urgency=low * Team upload. * Enable all hardening flags (currently adds -fPIE, -pie and -Wl,-z,now) * Added gcc dependency (required by polyc) * Added libffi-dev dependency so polyc can link compiled code against it