Torsten Anders wrote:
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?
yeap. Definitely. The update is a bit awkward because first have to be
changed in the SVN, then compiled, and then updated to the website. I'll
contact you by email to see the details.
cheers
Boriss
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
[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
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
