Is there a configure script switch to enable/disable contributions individually? I found the --enable-contrib switch, but that does not take any arguments..

Thank you!

Best
Torsten
_________________________________________________________________________________
mozart-users mailing list                               
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users

Reply via email to