[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [cameleon-dev] Petite question
From: |
Jérôme Marant |
Subject: |
Re: [cameleon-dev] Petite question |
Date: |
Wed, 30 Jul 2003 10:43:36 +0200 |
User-agent: |
Internet Messaging Program (IMP) 3.2.1 |
Quoting Maxence Guesdon <address@hidden>:
> > > Ben c pas si simple... et j'ai po trop le temps de regarder en ce
> moment.
> >
> > Il faudrait bibliothèquifier le toplevel, c'est ça?
>
> Ben ouais mais davantage de fonctions, et l'accès aux structures de données
> après typage, ce que ne fournit pas le module de toplevel pour l'instant.
> Ca le ferait grossir vraiment pas mal, et les développeurs d'ocaml sont
> pas très chauds pour ça.
J'imagine. Il n'ont qu'à changer la licence ;-))))
> > Au fait, te serait-il possible de recommiter epeire et topcameleon
> > (sans les parties de Ocaml)
> > mais de désactiver les makefiles pour ces deux projets. Comme ça,
> > tout serait au même endroit et on pourrait travailler à partir
> > de savannah seul.
>
> Ca pose le problème que les gens de savannah veulent pas héberger du
> code qui oblige à récupérer du code non "libre" (à la gnu) pour
> compiler.
Et si tu désactives les makefiles pour qu'ils ne soient pas compilés
dans savannah ?
--
Jérôme Marant <address@hidden>
- [cameleon-dev] Petite question, Jérôme Marant, 2003/07/29
- Re: [cameleon-dev] Petite question, Maxence Guesdon, 2003/07/29
- Re: [cameleon-dev] Petite question, Jérôme Marant, 2003/07/29
- Re: [cameleon-dev] Petite question, Maxence Guesdon, 2003/07/29
- Re: [cameleon-dev] Petite question, Jérôme Marant, 2003/07/29
- Re: [cameleon-dev] Petite question, Maxence Guesdon, 2003/07/29
- Re: [cameleon-dev] Petite question, Jérôme Marant, 2003/07/29
- Re: [cameleon-dev] Petite question, Maxence Guesdon, 2003/07/30
- Re: [cameleon-dev] Petite question,
Jérôme Marant <=
- Re: [cameleon-dev] Petite question, Maxence Guesdon, 2003/07/30
- Re: [cameleon-dev] Petite question, Jérôme Marant, 2003/07/30
- Re: [cameleon-dev] Petite question, Maxence Guesdon, 2003/07/30
- Re: [cameleon-dev] Petite question, Debian User, 2003/07/29
- Re: [cameleon-dev] Petite question, Jérôme Marant, 2003/07/29
Re: [cameleon-dev] Petite question, Alan Schmitt, 2003/07/29