* SML
@ 2001-11-15 16:11 Gustavo Guerra
2001-11-15 17:37 ` SML Gerrit P. Haase
2001-11-25 13:15 ` SML Gustavo Guerra
0 siblings, 2 replies; 8+ messages in thread
From: Gustavo Guerra @ 2001-11-15 16:11 UTC (permalink / raw)
To: cygwin
Does anyone know an SML system that successfully compiles on cygwin? I've
tried a few and none of them worked.
--
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
Bug reporting: http://cygwin.com/bugs.html
Documentation: http://cygwin.com/docs.html
FAQ: http://cygwin.com/faq/
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: SML
2001-11-15 16:11 SML Gustavo Guerra
@ 2001-11-15 17:37 ` Gerrit P. Haase
2001-11-15 17:39 ` SML Gustavo Guerra
2001-11-25 16:06 ` SML Gerrit P. Haase
2001-11-25 13:15 ` SML Gustavo Guerra
1 sibling, 2 replies; 8+ messages in thread
From: Gerrit P. Haase @ 2001-11-15 17:37 UTC (permalink / raw)
To: Gustavo Guerra; +Cc: cygwin
Hallo Gustavo,
Am 2001-11-25 um 22:08 schriebst du:
> Does anyone know an SML system that successfully compiles on cygwin? I've
> tried a few and none of them worked.
What about Ocaml? It builds without problems.
Ciao,
Gerrit P. Haase mailto:gp@familiehaase.de
--
=^..^=
--
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
Bug reporting: http://cygwin.com/bugs.html
Documentation: http://cygwin.com/docs.html
FAQ: http://cygwin.com/faq/
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: SML
2001-11-15 17:37 ` SML Gerrit P. Haase
@ 2001-11-15 17:39 ` Gustavo Guerra
2001-11-15 18:31 ` SML Gerrit P. Haase
2001-11-25 16:49 ` SML Gustavo Guerra
2001-11-25 16:06 ` SML Gerrit P. Haase
1 sibling, 2 replies; 8+ messages in thread
From: Gustavo Guerra @ 2001-11-15 17:39 UTC (permalink / raw)
To: Gerrit P. Haase
----- Original Message -----
From: "Gerrit P. Haase" <gp@familiehaase.de>
To: "Gustavo Guerra" <gustavobt@mail.com>
Cc: <cygwin@cygwin.com>
Sent: Monday, November 26, 2001 12:08 AM
Subject: Re: SML
> Hallo Gustavo,
>
> Am 2001-11-25 um 22:08 schriebst du:
>
> > Does anyone know an SML system that successfully compiles on cygwin?
I've
> > tried a few and none of them worked.
>
> What about Ocaml? It builds without problems.
>
No, it has to be an SML97 compliant. I need it to use Isabelle.
--
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
Bug reporting: http://cygwin.com/bugs.html
Documentation: http://cygwin.com/docs.html
FAQ: http://cygwin.com/faq/
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: SML
2001-11-15 17:39 ` SML Gustavo Guerra
@ 2001-11-15 18:31 ` Gerrit P. Haase
2001-11-26 0:24 ` SML Gerrit P. Haase
2001-11-25 16:49 ` SML Gustavo Guerra
1 sibling, 1 reply; 8+ messages in thread
From: Gerrit P. Haase @ 2001-11-15 18:31 UTC (permalink / raw)
To: Gustavo Guerra; +Cc: Gerrit P. Haase
Hallo Gustavo,
Am 2001-11-26 um 01:47 schriebst du:
>> What about Ocaml? It builds without problems.
> No, it has to be an SML97 compliant. I need it to use Isabelle.
The only free available I see is SML/NJ which is known to work with
Isabelle:
And I found a very old posting where someone told us that he has a
patch how to build SML/NJ (109), I think if it works then it should
work now too.
Ciao,
Gerrit P. Haase mailto:gp@familiehaase.de
--
=^..^=
--
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
Bug reporting: http://cygwin.com/bugs.html
Documentation: http://cygwin.com/docs.html
FAQ: http://cygwin.com/faq/
^ permalink raw reply [flat|nested] 8+ messages in thread
* SML
2001-11-15 16:11 SML Gustavo Guerra
2001-11-15 17:37 ` SML Gerrit P. Haase
@ 2001-11-25 13:15 ` Gustavo Guerra
1 sibling, 0 replies; 8+ messages in thread
From: Gustavo Guerra @ 2001-11-25 13:15 UTC (permalink / raw)
To: cygwin
Does anyone know an SML system that successfully compiles on cygwin? I've
tried a few and none of them worked.
--
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
Bug reporting: http://cygwin.com/bugs.html
Documentation: http://cygwin.com/docs.html
FAQ: http://cygwin.com/faq/
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: SML
2001-11-15 17:37 ` SML Gerrit P. Haase
2001-11-15 17:39 ` SML Gustavo Guerra
@ 2001-11-25 16:06 ` Gerrit P. Haase
1 sibling, 0 replies; 8+ messages in thread
From: Gerrit P. Haase @ 2001-11-25 16:06 UTC (permalink / raw)
To: Gustavo Guerra; +Cc: cygwin
Hallo Gustavo,
Am 2001-11-25 um 22:08 schriebst du:
> Does anyone know an SML system that successfully compiles on cygwin? I've
> tried a few and none of them worked.
What about Ocaml? It builds without problems.
Ciao,
Gerrit P. Haase mailto:gp@familiehaase.de
--
=^..^=
--
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
Bug reporting: http://cygwin.com/bugs.html
Documentation: http://cygwin.com/docs.html
FAQ: http://cygwin.com/faq/
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: SML
2001-11-15 17:39 ` SML Gustavo Guerra
2001-11-15 18:31 ` SML Gerrit P. Haase
@ 2001-11-25 16:49 ` Gustavo Guerra
1 sibling, 0 replies; 8+ messages in thread
From: Gustavo Guerra @ 2001-11-25 16:49 UTC (permalink / raw)
To: Gerrit P. Haase
----- Original Message -----
From: "Gerrit P. Haase" <gp@familiehaase.de>
To: "Gustavo Guerra" <gustavobt@mail.com>
Cc: <cygwin@cygwin.com>
Sent: Monday, November 26, 2001 12:08 AM
Subject: Re: SML
> Hallo Gustavo,
>
> Am 2001-11-25 um 22:08 schriebst du:
>
> > Does anyone know an SML system that successfully compiles on cygwin?
I've
> > tried a few and none of them worked.
>
> What about Ocaml? It builds without problems.
>
No, it has to be an SML97 compliant. I need it to use Isabelle.
--
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
Bug reporting: http://cygwin.com/bugs.html
Documentation: http://cygwin.com/docs.html
FAQ: http://cygwin.com/faq/
^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: SML
2001-11-15 18:31 ` SML Gerrit P. Haase
@ 2001-11-26 0:24 ` Gerrit P. Haase
0 siblings, 0 replies; 8+ messages in thread
From: Gerrit P. Haase @ 2001-11-26 0:24 UTC (permalink / raw)
To: Gustavo Guerra; +Cc: Gerrit P. Haase
Hallo Gustavo,
Am 2001-11-26 um 01:47 schriebst du:
>> What about Ocaml? It builds without problems.
> No, it has to be an SML97 compliant. I need it to use Isabelle.
The only free available I see is SML/NJ which is known to work with
Isabelle:
And I found a very old posting where someone told us that he has a
patch how to build SML/NJ (109), I think if it works then it should
work now too.
Ciao,
Gerrit P. Haase mailto:gp@familiehaase.de
--
=^..^=
--
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
Bug reporting: http://cygwin.com/bugs.html
Documentation: http://cygwin.com/docs.html
FAQ: http://cygwin.com/faq/
^ permalink raw reply [flat|nested] 8+ messages in thread
end of thread, other threads:[~2001-11-26 8:24 UTC | newest]
Thread overview: 8+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2001-11-15 16:11 SML Gustavo Guerra
2001-11-15 17:37 ` SML Gerrit P. Haase
2001-11-15 17:39 ` SML Gustavo Guerra
2001-11-15 18:31 ` SML Gerrit P. Haase
2001-11-26 0:24 ` SML Gerrit P. Haase
2001-11-25 16:49 ` SML Gustavo Guerra
2001-11-25 16:06 ` SML Gerrit P. Haase
2001-11-25 13:15 ` SML Gustavo Guerra
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).