#143 duneproject script needs extension
Metadata
Property | Value |
---|---|
Reported by | Stefan Lang (stefan.lang@iwr.uni-heidelberg.de) |
Reported at | Jul 10, 2006 13:43 |
Type | Bug Report |
Version | Git (pre2.4) [autotools] |
Operating System | Unspecified / All |
Closed by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
Closed at | Jul 18, 2006 11:53 |
Closed in version | Unknown |
Resolution | Fixed |
Comment |
Description
The duneproject script needs extension to add information on the actually used dune modules and additional libraries, e.g. UGlib.