11 Oct
2013
11 Oct
'13
2:03 p.m.
Hi,
two completely orthogonal questions/remarks for PolyML 5.5.1:
1.) When building PolyML with '--with-system-libffi' the '-lffi' part is missing in the linker line in polyc.
2.) Is it somehow possible to see if an ML file is run via 'poly --script' or as a standalone executable? Because for the one the logic has to be wrapped in 'fun main ()', and for the other it should not :).
(Ie, what I want: if is_script then main() else () )
Thanks, Ren?
--
Ren? Neumann
Institut f?r Informatik (I7)
Technische Universit?t M?nchen
Boltzmannstr. 3
85748 Garching b. M?nchen
Tel: +49-89-289-17232
Office: MI 03.11.055