This page discusses common problems (or non-problems) with the installation of Stratego on certain platforms.


Configuration without Prefix?

Stratego distributions 0.7, 0.8, 0.9 and 0.9.1 have the problem that building fails when configure is called without an explicit --prefix switch. This has been fixed in StrategoXT 0.9.2. Workaround for older distributions: use the --prefix switch to produce the right configuration.


ATerm Installation

I ran into a little trouble installing the most recent version of Stratego, and I've included the output which includes the error message. This probably isn't terribly informative, but in case it's of any use, I thought I'd send it to you. I went ahead and installed an earlier version instead and had no trouble doing so.

   /usr/bin/ld: cannot find -lATerm-gcc

This looks as if you didn't configure the ATermLibrary with the --with-all (or at least --with-gcc) flag or did not install it or did not configure the stratego installation with the right path to the aterm library. Please check whether libATerm-gcc.a is installed in ATerm prefix/lib.


Athlon

Stratego programs sometimes show random failure on Athlon machines. This appears to be due to a combination of faulty motherboards in combination with an old Linux kernel (before 2.4.16). It has nothing to do with the Stratego compiler. Source: WesselDankers.


Mac OS X

Stratego 0.6 and later versions do not work on Mac OS X for the moment, since support for nested functions is currently broken in the rs6000 backend of gcc. It's apparently being worked on.

See also MacOS X Support.


[From here this page is out of date, but some items still apply. Needs refactoring -- MartinBravenboer - 03 Jul 2003]


Cygwin

It seems that the problems with installation on Windows with Cygwin were caused by the case-insensitiveness of Windows. This has been solved in StrategoRelease071.

-- EelcoVisser - 21 Jun 2002

Dit heeft waarschijnlijk te maken met de afhandeleing van newlines en cariage returns. Jurgen heeft hier aan gewerkt. Het probleem is dat onder Cigwin files standard in text mode geopend worden waardoor er een verkeerde translatie plaatsvindt: \n => \r\n. Jurgen heeft dit gefixt volgens mij in een recentere versie van de atermen door files altijd expliciet in binary mode te openen.

Misschien weet hij een workaround voor dit probleem anders moeten we maar proberen over te stappen op versie 1.6.4 van de atermen. --- MerijnDeJonge

The gist of the above: installation of the ATermLibrary on Cygwin runs into trouble with end of line treatment. This appears to be solved with later versions of the library (starting at 1.6.4).

-- EelcoVisser - 30 Nov 2001


Irix

Tried bootstrapping 0.6.3, using aterm 1.6.3 on irix-mips-6.5 just now.

I used the gcc-3.0.1 compiler, freshly compiled for the occasion.

To get aterm to build, I had to reduce CFLAGS_GCC from -O4 to -O2, lest the gcc compiler crash on compilation of bafio.c

Building stratego got me this far:

gmake[3]: Entering directory
`/mnt/mldwork/work/karltrk/stratego-0.6.3/sc/spec/syn'
Makefile:408: no file name for `include'
/work/karltrk/apps/bin/sc -I ./../sig -i pack-stratego
### cannot find term Cons(...(2)) at 104d8b70 in hashtable at pos 45342,
header = 3880
This seems consistent with a bug in aterm, as I had a similar problem before on linux.

Any ideas on how to take this further ? Is it a known problem, or should I just break out the jolt cola and prepare for a long night debugging ?

-- KarlTrygveKalleberg - 14 Dec 2001

The gcc people have been able to reproduce this bug with -O2 also, you might have better luck turning off all optimisation. Eelco, have you heard anything more regarding this bug? I got a mail a week or two ago saying they had merge my bug report with yours.

I've had no luck compiling Stratego with gcc-3.0 on Irix, and compiling with 2.95.x just hangs.

-- OttoSkroveBagge - 14 Dec 2001


0.7beta2 on non-Intel platforms

Stratego 0.7beta2 doesn't work on some platforms at the moment. The bootstrapped compiler works correctly, except that the s2c stage (the translation to abstract C code) generates corrupt output. This has been observed on mips-*-linux and sparc-sun-solaris2.6. Cause: unknown.

-- EelcoDolstra - 26 Feb 2002


CategoryInstallation

Revision: r1.8 - 03 Jul 2003 - 21:35 - MartinBravenboer
Stratego > StrategoDownload > InstallationTrouble
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback