Hello everyone,
I am a PhD student who is going to work hardly with HOL for the next
three years.
Hope you will be patient with me, since I am totally new to it and,
eventually, I will ask a lot about it!
Here the first question:
I am trying to install it on my pc, but I am getting this error:
Loading system specific functions
Compiling system specific functions (sig sml)
Beginning configuration.
Making tools/mllex/mllex.exe.
Poly/ML 5.5.1 Release
Failed to build mllex.
My environment is linux ubuntu 13.04 64bit and the steps I have
performed are the following:
1) installed Poly/ML 5.5.1
as it appears in the HOL auto-setting of configuration parameter,
poly is in /usr/local/bin/poly and
polymllibdir is in /usr/local/lib
2) run the command
$ poly < tools/smart-configure.sml
but at this point I got the error.
More in particular a long list of undefined references. Here the final
bit of it:
sharedata.cpp:(.text._ZN18ProcessAddToVectorD0Ev[_ZN18ProcessAddToVectorD0Ev]+0x20):
undefined reference to `operator delete(void*)'
/usr/local/lib/libpolyml.a(sharedata.o):(.rodata._ZTI19ProcessFixupAddress[_ZTI19ProcessFixupAddress]+0x0):
undefined reference to `vtable for __cxxabiv1::__si_class_type_info'
/usr/local/lib/libpolyml.a(sharedata.o):(.rodata._ZTI18ProcessAddToVector[_ZTI18ProcessAddToVector]+0x0):
undefined reference to `vtable for __cxxabiv1::__si_class_type_info'
/usr/local/lib/libpolyml.a(sharedata.o):(.rodata._ZTI12ShareRequest[_ZTI12ShareRequest]+0x0):
undefined reference to `vtable for __cxxabiv1::__si_class_type_info'
/usr/local/lib/libpolyml.a(sharedata.o):(.eh_frame+0x3f7): undefined
reference to `__gxx_personality_v0'
/usr/local/lib/libpolyml.a(elfexport.o): In function
`ELFExport::exportStore()':
elfexport.cpp:(.text+0x235): undefined reference to `operator
new[](unsigned long)'
elfexport.cpp:(.text+0xdf5): undefined reference to `operator
delete[](void*)'
/usr/local/lib/libpolyml.a(elfexport.o):(.rodata._ZTI9ELFExport[_ZTI9ELFExport]+0x0):
undefined reference to `vtable for __cxxabiv1::__vmi_class_type_info'
/usr/local/lib/libpolyml.a(elfexport.o):(.eh_frame+0x6f): undefined
reference to `__gxx_personality_v0'
collect2: error: ld returned 1 exit status
Failed to build mllex.
Hope you can help me, I look forward to try it!
Have a nice day,
Andrea
P.S: I have made a mess and I have sent the message with my personal
mail first, Sorry to the moderators :P
------------------------------------------------------------------------------
October Webinars: Code for Performance
Free Intel webinars can help you accelerate application performance.
Explore tips for MPI, OpenMP, advanced profiling, and more. Get the most from
the latest Intel processors and coprocessors. See abstracts and register >
http://pubads.g.doubleclick.net/gampad/clk?id=60135031&iu=/4140/ostg.clktrk
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
