- add --libdir to configure.ml to install cduce libraries in custom locations
Attach a file by drag & drop or click to upload
