bin/dunecontrol · b8d2a6367d864cac8a3e9486e5808239384ef577 · Core Modules / dune-common

16 years ago

Christian Engwer authored 16 years ago

* automatically construct --with-... parameters for all modules
* construct ACLOCAL_AMFLAGS

[[Imported from SVN: r5217]]

b8d2a636

Christian Engwer authored 16 years ago

* automatically construct --with-... parameters for all modules
* construct ACLOCAL_AMFLAGS

[[Imported from SVN: r5217]]