Poly/ML April 2008

polyml@lists.polyml.org

3 participants
2 discussions

Building a console PolyML application on windows
by r.harrison＠eris.qinetiq.com 16 Apr '08

16 Apr '08

Hi David, I've been testing PolyML 5.1 on windows and was wondering how I should go about creating a console PolyML application. I've built polyml using Visual Studio 2005 and the Visual Studio 6 workspace. This worked with hardly any problems. Visual studio 2005 converted the .dsp to a solution without any warnings. Building the solution failed however, as two of the custom build commands needed the $(InputPath) variables double-quoting to protect spaces in the filenames. After this the build succeeded and I was able to export a simple function (fib.obj) and link it using: link /OUT:fib.exe /SUBSYSTEM:WINDOWS fib.obj PolyLib.lib PolyMainLib.lib libcmtd.lib This produces a windows executable using your console GUI (using WinMain as entry point which calls PolyWinMain). What I would really like is an executable or DLL I can use from another application. I don't have much experience with windows programming and in particular DDE which you use for the console GUI so I realise I may be asking a silly question. I would be happy with a simple console application with interaction through stdin, stdout and stderr, so my question is - what's the best way of building such an application? Am I right in thinking that the main runtime is entered through polymain() in PolyLib? Could this be exported along with PolyWinMain from PolyLib.dll and a main() stub be provided in PolyMain.lib. (I've noticed that if you call WinMain with a null pointer for the hInstance parameter you get an (apparently working) console application but this is surely a bad idea and unnecessary! ;-)) regards, Richard.

2 1

compilation problem on x86_64/Debian
by vlaja＠ida.liu.se 08 Apr '08

08 Apr '08

Hello, everyone! I have the following problem when I try to compile PolyML: gmake[2]: Entering directory `/home/vlaja/soft/polyml.5.1/libpolyml' /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -Wall -O3 -MT x86_dep.lo -MD -MP -MF .deps/x86_dep.Tpo -c -o x86_dep.lo x86_dep.cpp g++ -DHAVE_CONFIG_H -I. -I.. -Wall -O3 -MT x86_dep.lo -MD -MP -MF ..deps/x86_dep.Tpo -c x86_dep.cpp -fPIC -DPIC -o .libs/x86_dep.o x86_dep.cpp: In member function `virtual bool X86Dependent::GetPCandSPFromContext(TaskData*, ucontext_t*, PolyWord*&, byte*&)': x86_dep.cpp:769: error: `REG_RIP' undeclared (first use this function) x86_dep.cpp:769: error: (Each undeclared identifier is reported only once for each function it appears in.) x86_dep.cpp:770: error: `REG_RSP' undeclared (first use this function) gmake[2]: *** [x86_dep.lo] Error 1 gmake[2]: Leaving directory `/home/vlaja/soft/polyml.5.1/libpolyml' Additional information about the system: brutalix <308> uname -a Linux brutalix 2.6.8-12-amd64-k8-smp #1 SMP Tue Dec 5 23:23:41 UTC 2006 x86_64 GNU/Linux brutalix <302> gcc --version gcc (GCC) 3.3.5 (Debian 1:3.3.5-13) I suspect that gcc version is too old. In particular, there is no GNU Standard C++ Library v3 installed (that is why I cannot use the pre-compiled version provided with Isabelle). Is that the source of the problem? Thanks for any help, Vlad

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Poly/ML April 2008