Studying the output of the configure script, I found out about the
options --disable-contrib-micq / --enable-contrib-micq etc.
Should a little comment be added to the doc at http://www.mozart-
oz.org/documentation/install/node12.html#contrib?
Thanks!
Best,
Torsten
On Jul 26, 2007, at 6:17 PM, Torsten Anders wrote:
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 mozart-
[EMAIL PROTECTED]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
