[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Demexp-cvs] arch commit: demexp--dev--0.5--patch-68
|
From: |
David |
|
Subject: |
[Demexp-cvs] arch commit: demexp--dev--0.5--patch-68 |
|
Date: |
Fri, 29 Jul 2005 22:05:19 +0200 |
Revision: demexp--dev--0.5--patch-68
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Fri Jul 29 22:04:56 CEST 2005
Standard-date: 2005-07-29 20:04:56 GMT
Modified-files: config/Makefile.inc configure
New-patches: address@hidden/demexp--dev--0.5--patch-68
Summary: update to compile to with CDuce 0.3.91
Keywords: build
* config/Makefile.inc: work around issue in CDuce 0.3.91: cduce does not
handle compiling file with srv/ path.
* configure: ocamlfind now produces library names with '+'. Removing
them seems to make the compilation work.
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Demexp-cvs] arch commit: demexp--dev--0.5--patch-68,
David <=