PIKE

Aah, my pike-7.5 is *too old* to understand precompile.pike. Brilliant.

/ Mirar

Previous text:

2004-02-22 10:49: Subject: PIKE

---

How do I get Pike to use another pike then /usr/local/bin/pike?

Setting PIKE, USE_PIKE or --with-pike doesn't seem to help.

config.info reports: | pike............ /usr/local/bin/pike-7.5

but:

| precompile: /usr/local/bin/pike /home/mirar/pike/bin/precompile.pike /home/mirar/pike/src/modules/Gmp/mpq.cmod (method=QQQQQ) | /home/mirar/pike/bin/precompile.pike:2121:Indexing on illegal type. | Pike: Failed to compile script: | Compilation failed. | | Failed to find a Pike executable that could run /home/mirar/pike/bin/precompile.pike.

/ Mirar