Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
cduce
cduce
Repository
cduce
configure.ml
Find file
Blame
History
Permalink
- add scripts to create the macosx package
· 8203e6b4
Pietro Abate
authored
Feb 19, 2008
- add --libdir to configure.ml to install cduce libraries in custom locations
8203e6b4
