FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

I am looking for an LTO tape library. Do you have one to spare?
Commit found by message id
Mon, 18 Feb 2013
[ 18:22:11 rm ] Original commit   Revision:312515
mlton lang files touched by this commit Optimizing Standard ML compiler
- fix build with newer math/gmp in ports tree. Newer versions of gmp do not
  define __gmp_const. This patch addresses the compile time errors with an
  ifndef.

while here:
- trim Makefile header
- remove indefinite article from COMMENT
- remove deprecated attribution from pkg-descr and make tab -> space change
  in WWW field

PR:		176229
Submitted by:	Timothy Beyer <beyert@cs.ucr.edu>
Approved by:	maintainer (implicit, because the port was broken)

Number of ports [& non-ports] in this commit: 1

Showing files for just one port: lang/mlton

show all files

hide all files


3 files found
ActionRevisionLinksFile
modify 312515 View diff View revision /ports/head/lang/mlton/Makefile
import 312515 View revision /ports/head/lang/mlton/files/patch-runtime_gc_int-inf.c
modify 312515 View diff View revision /ports/head/lang/mlton/pkg-descr
Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
bugzilla44Jul 25
apache22Jul 24
apache22-event-mpmJul 24
apache22-itk-mpmJul 24
apache22-peruser-mpmJul 24
apache22-worker-mpmJul 24
firefoxJul 23
firefox-develJul 23
firefox-esrJul 23
firefox10Jul 23
firefox15Jul 23
firefox3Jul 23
firefox3-develJul 23
firefox35Jul 23
firefox36Jul 23

11 vulnerabilities affecting 32 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds


Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24396
Broken 180
Deprecated 827
Ignore 515
Forbidden 16
Restricted 263
No CDROM 101
Vulnerable 27
Expired 1
Set to expire 814
Interactive 13
new 24 hours 0
new 48 hours4
new 7 days15
new fortnight35
new month103


Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.