[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Demexp-cvs] arch commit: demexp--cduce--0.3--patch-37
From: |
David |
Subject: |
[Demexp-cvs] arch commit: demexp--cduce--0.3--patch-37 |
Date: |
Fri, 04 Mar 2005 22:56:27 +0100 |
Revision: demexp--cduce--0.3--patch-37
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Fri Mar 4 22:56:06 CET 2005
Standard-date: 2005-03-04 21:56:06 GMT
Modified-files: Makefile README
lablgtk2-clnt/clntflags.ml.nw srv/id.ml.nw
New-patches: address@hidden/demexp--cduce--0.3--patch-37
Summary: separate compilation of client and server
Keywords: client, server
* Makefile: new make targets 'client' and 'server'. The client and the
server can now be compiled separately. Compiling the client no longer
needs CDuce and its dependencies, neither threads. Compiling the
server no longer needs lablgtk2.
* README: document new targets. Remove obsolete 'windows' target.
* srv/Id: fix spurious warning.
* lablgtk2-clnt/Clntflags: as the client is not multi-threaded, do not
print thread id.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Demexp-cvs] arch commit: demexp--cduce--0.3--patch-37,
David <=