Re: [polyml] polyc and poly --script

2015-03-24 Thread Phil Clayton
Hi David, Thanks - I've tried building an application with r1985 in the following configurations and pkg-config is working now: static, non-system libffi static, system libffi shared, non-system libffi shared, system libffi Phil 24/03/15 12:01, David Matthews wrote: Hi Phil, I've cha

Re: [polyml] polyc and poly --script

2015-03-24 Thread David Matthews
Hi Phil, I've changed configure so that FFI_LIBS gets added to LIBS within the configure script. This should avoid the need to add it explicitly in other places. Let me know if there are problems. David On 23/03/2015 23:45, Phil Clayton wrote: Hi David, 15/10/13 17:50, David Matthews wrot

Re: [polyml] polyc and poly --script

2015-03-23 Thread Phil Clayton
Hi David, 15/10/13 17:50, David Matthews wrote: On 15/10/2013 17:38, René Neumann wrote: @David: Have you seen my other issue in the original email? Was this the --with-system-ffi issue? I've fixed it in SVN trunk. It may be something to port to the fixed branch. It looks like r1871 didn'

Re: [polyml] polyc and poly --script

2013-10-15 Thread René Neumann
Am 15.10.2013 18:50, schrieb David Matthews: >> @David: Have you seen my other issue in the original email? > > Was this the --with-system-ffi issue? Yes. > I've fixed it in SVN trunk. Great. Thanks. -- René Neumann Institut für Informatik (I7) Technische Universität München Boltzmannstr.

Re: [polyml] polyc and poly --script

2013-10-15 Thread David Matthews
On 15/10/2013 17:38, René Neumann wrote: Thanks! This was the information I was looking for. Good. @David: Have you seen my other issue in the original email? Was this the --with-system-ffi issue? I've fixed it in SVN trunk. It may be something to port to the fixed branch. David __

Re: [polyml] polyc and poly --script

2013-10-15 Thread René Neumann
Am 11.10.2013 15:42, schrieb David Matthews: > On 11/10/2013 14:17, René Neumann wrote: >> Am 11.10.2013 15:12, schrieb Ramana Kumar: >>> (Ie, what I want: if is_script then main() else () ) >>> >>> If your main : unit -> unit (which perhaps it must be?), then main() is >>> equivalent to the if exp

Re: [polyml] polyc and poly --script

2013-10-11 Thread David Matthews
On 11/10/2013 14:17, René Neumann wrote: Am 11.10.2013 15:12, schrieb Ramana Kumar: (Ie, what I want: if is_script then main() else () ) If your main : unit -> unit (which perhaps it must be?), then main() is equivalent to the if expression above, modulo side-effects. There is a misunderstand

Re: [polyml] polyc and poly --script

2013-10-11 Thread René Neumann
Am 11.10.2013 15:12, schrieb Ramana Kumar: > (Ie, what I want: if is_script then main() else () ) > > If your main : unit -> unit (which perhaps it must be?), then main() is > equivalent to the if expression above, modulo side-effects. There is a misunderstanding here: I need the main to be run w

Re: [polyml] polyc and poly --script

2013-10-11 Thread Ramana Kumar
(Ie, what I want: if is_script then main() else () ) If your main : unit -> unit (which perhaps it must be?), then main() is equivalent to the if expression above, modulo side-effects. > Thanks, > René > -- > René Neumann > > Institut für Informatik (I7) > Technische Universität München > Boltzm

[polyml] polyc and poly --script

2013-10-11 Thread René Neumann
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 th