[Demexp-cvs] arch commit: demexp--cduce--0.3--patch-37

[David]

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.