[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Savannah-hackers] savannah.gnu.org: submission of MLton Standard ML
From: |
Loic Dachary |
Subject: |
Re: [Savannah-hackers] savannah.gnu.org: submission of MLton Standard ML Compiler |
Date: |
Fri, 5 Apr 2002 12:34:09 +0200 |
Hi,
I was not able to find licensing information in the current
distribution (http://www.sourcelight.com/MLton/mlton-20011006-1.src.tgz).
If it is released under the GNU GPL, you must include a copy of the GNU
GPL (http://www.gnu.org/licenses/gpl.txt) in the distribution and follow
the instructions at the end of the GNU GPL itself to apply it to each file
(basically it means adding a proper copyright and license notice to each
file).
Could you please submit your project again when it's done ?
Thanks in advance,
address@hidden writes:
>
> A package was submitted to savannah.gnu.org.
> This mail was sent to address@hidden, address@hidden
>
>
> Stephen Weeks <address@hidden> described the package as follows:
> License: gpl
> Other License:
> Package: MLton Standard ML Compiler
> System name: mlton
> This package does NOT want to apply for inclusion in the GNU project
>
> MLton is a whole-program optimizing compiler for Standard ML that runs
> on X86 machines under Linux. MLton generates standalone executables
> with good runtime performance, is SML 97 compliant, and has a mostly
> complete basis library. MLton has support for profiling and a fast C
> FFI. MLton has additional libraries for continuations, interval
> timers, random numbers, signal handlers, sockets, system logging,
> threads, and heap save and restore. It also has a fast implementation
> of IntInf using the GNU multiprecision library.
>
> MLton is a stable compiler that has been in public use since April
> 1999. Its current home page is http://www.sourcelight.com/MLton/.
>
> I am registering this project because we are considering moving
> the MLton project to Savannah.
>
> Thanks.
>
>
>
> _______________________________________________
> Savannah-hackers mailing list
> address@hidden
> http://mail.gnu.org/mailman/listinfo/savannah-hackers