Torsten Anders wrote:
I also tried configure with --prefix=~/tmp/oz.
Can you try again with ~ replaced by $HOME ? I fear ~-expansion won't be automatic here... HTH, Andreas _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
