Question about clisp version naming

[Achim Gratz]

Yaakov Selkowitz writes:
> Is there an issue with stripping clisp executables?

Yes, with the executable dumps.

> Is there a magic
> number we can use to detect these automatically?

File identifies them as plain executables.  CLisp knows which runtime
they were rpdocued from, so there must by some symbols to pull this
information from.  Ken should have an answer, otherwise I can
investigate later.  In any case these are the only executables shipped
with maxima, so RESTRICT=strip doesn't do any harm at the moment.


Regards,
Achim.
-- 
+<[Q+ Matrix-12 WAVE#46+305 Neuron microQkb Andromeda XTk Blofeld]>+

SD adaptation for Waldorf microQ V2.22R2:
http://Synth.Stromeko.net/Downloads.html#WaldorfSDada