mlton-compiler_20130715-3_amd64.deb


Advertisement

Description

mlton-compiler - Optimizing compiler for Standard ML - compiler

Property Value
Distribution Ubuntu 19.04 (Disco Dingo)
Repository Ubuntu Universe amd64
Package filename mlton-compiler_20130715-3_amd64.deb
Package name mlton-compiler
Package version 20130715
Package release 3
Package architecture amd64
Package type deb
Category universe/devel
Homepage http://mlton.org/
License -
Maintainer Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Download size 2.70 MB
Installed size 17.30 MB
MLton is a whole-program optimizing compiler
for Standard ML.  MLton generates standalone
executables with excellent runtime performance,
is SML 97 compliant, and has a complete basis
library.  MLton has source-level profiling,
a fast C FFI, an interface to the GNU
multiprecision library, and lots of useful
libraries.
This package includes the compiler itself.

Alternatives

Package Version Architecture Repository
mlton-compiler_20130715-3_i386.deb 20130715 i386 Ubuntu Universe
mlton-compiler - - -

Requires

Name Value
gcc -
libc6 >= 2.14
libc6-dev -
libgmp-dev -
libgmp10 -
mlton-basis = 20130715-3
mlton-runtime -
mlton-runtime-native = 20130715-3

Replaces

Name Value
mlton << 20100608-3

Download

Type URL
Mirror archive.ubuntu.com
Binary Package mlton-compiler_20130715-3_amd64.deb
Source Package mlton

Install Howto

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

Files

Path
/usr/bin/mlton
/usr/lib/mlton/mlton-compile
/usr/lib/mlton/platform
/usr/lib/mlton/static-library
/usr/lib/mlton/targets/self
/usr/share/doc/mlton-compiler/README
/usr/share/doc/mlton-compiler/changelog.Debian.gz
/usr/share/doc/mlton-compiler/copyright
/usr/share/man/man1/mlton.1.gz

Changelog

2016-12-18 - Wesley W. Terpstra <terpstra@debian.org>
mlton (20130715-3) unstable; urgency=low
* Build-depend only on mlton-compiler and mlton-tools
* Buildds got stuck by looking at the mlton all package
* Remove heap-size hacks; debian buildds have >2GB RAM now
* Source-only upload to ensure full rebuild
2016-12-17 - Wesley W. Terpstra <terpstra@debian.org>
mlton (20130715-2) unstable; urgency=low
* Remove policy-problematic smlnj HTML4 from the package
* Remove ports for hurd-i386 (unreliable) and ia64 (dead)
* Add arm64 port (use supplied patch; closes: #791936)
* Add mips64el port (needed a complete arch patch)
* Add ppc64el port (needs bin/platform patch)
* Track s390 port name change to s390x
* Fix kfreebsd ports (removed getpgrp work-around)
* Added build dependency on librsvg2-bin
2016-12-09 - Wesley W. Terpstra <terpstra@debian.org>
mlton (20130715-1) unstable; urgency=low
* New upstream release (closes: #762143)
* Always build PIC on Linux (closes: #837567)
* Bump debhelper compat to 9 (disable empty dbgsym packages)
* Bump standards version to 3.9.8 (use DEB_HOST_MULTIARCH)
* Replace README link with contents to help dh_installdocs
2013-10-19 - Florian Weimer <fw@deneb.enyo.de>
mlton (20100608-5.1) unstable; urgency=low
* Non-Maintainer Upload
* Apply upstream patch to avoid __gmp_const breakage
(Closes: 707410)
* Apply patch from Matthias Klose to allow building on more target
triplets on i386, not just i486-linux-gnu (Closes: 640137)
2011-07-19 - Wesley W. Terpstra (Debian) <terpstra@debian.org>
mlton (20100608-5) unstable; urgency=low
* Newest gcc and binutils fix mips[el] jump problem
* Uploaded mips[el] bootstrap packages as 20100608-4
* Build-Depend on newest gcc and binutils
* Removed explicit-relocs patch
* Include a diffs to current release head
* Necessary for 8-bit aligned MIPS read/writes
* Increase heap-size for mips post-alignment
* Building armel on debian buildd instead of qemu
* Heap-size 1.2g on 1.5g machines
* Added armhf port
2011-04-01 - Wesley W. Terpstra (Debian) <terpstra@debian.org>
mlton (20100608-4) unstable; urgency=low
* Add missing install file for sparc runtime
* Make the self target symlink relative
* Added Replaces and Breaks the old version for smooth upgrades
* Previous build needed manual uploads, so buildd rebuild needed
* Still needing bootstrap:
* mips(el) gcc bug still unresolved and no-explicit-relocs fails too
2011-03-20 - Wesley W. Terpstra (Debian) <terpstra@debian.org>
mlton (20100608-3) unstable; urgency=low
* Include all bugfixes since 20100608 release
* Depend on libgmp-dev (closes: #618268)
* Split package into compiler, runtime, basis, tools, and doc
* Use multiarch to support cross-compiling
* Eliminates the need for a mlton-cross package
* Updated standards version (no changes needed)
2010-06-14 - Wesley W. Terpstra (Debian) <terpstra@debian.org>
mlton (20100608-2) unstable; urgency=low
* Added a new '-mno-explicit-relocs' mips work-around.
* Bug filed with gcc upstream (#44537)
2010-06-11 - Wesley W. Terpstra (Debian) <terpstra@debian.org>
mlton (20100608-1) unstable; urgency=low
* New upstream release
* Removed the mips -fPIC work-around
* Filing a new gcc bug report upstream
2010-05-04 - Wesley W. Terpstra (Debian) <terpstra@debian.org>
mlton (20100504~svn-r7459) unstable; urgency=low
* New snapshot from svn/HEAD
* Includes fixes for PIC codegen on x86
* Better handling of memory exhaustion
* Fix aliasing problem with newest gcc
* Switch to using quilt source format

See Also

Package Description
mlton-doc_20130715-3_all.deb Optimizing compiler for Standard ML - documentation
mlton-runtime-native_20130715-3_amd64.deb Optimizing compiler for Standard ML - native runtime libraries
mlton-runtime-x86-64-linux-gnu_20130715-3_amd64.deb Optimizing compiler for Standard ML - amd64 runtime libraries
mlton-tools_20130715-3_amd64.deb Optimizing compiler for Standard ML - tools
mlton_20130715-3_all.deb Optimizing compiler for Standard ML
mlucas_17.1-3_amd64.deb program to perform Lucas-Lehmer test on a Mersenne number
mlv-smile_1.47-6_amd64.deb Find statistically significant patterns in sequences
mm-common_0.9.12-1_all.deb Common build files of the GNOME C++ bindings
mm3d_1.3.11-1_amd64.deb OpenGL based 3D model editor
mma_16.06-2_all.deb Musical MIDI Accompaniment Generator
mmake_2.3-7_all.deb Makefile generator for Java programs
mmark_1.3.6+dfsg-1_amd64.deb Markdown processor in Go geared for the IETF (executable)
mmass-modules_5.5.0-5_amd64.deb Mass spectrometry tool for proteomics - extension modules
mmass_5.5.0-5_all.deb Mass spectrometry tool for proteomics
mmc-utils_0+git20180327.b4fe0c8c-1_amd64.deb Userspace tools for MMC/SD devices
Advertisement
Advertisement