Re: [taste-users] Linking against external libraries

Dear Thanasis:

I saw that the name of the partition is correct, x86PC_primary_partition. However I noticed that in our DeploymentView.aadl the partition is not ended with _obj###. Is this always mandatory for all system features in the AADL systems?

Thank you very much for your help, the problem is solved.

Regards,

$Description: Description: C:\Users\fffm\AppData\Roaming\Microsoft\Firmas\logo_gmv.gif$

Francisco Ferrero Mateos
Jefe de proyecto /
Project Manager

GMV
Isaac Newton, 11
P.T.M. Tres Cantos
E-28760 Madrid
Tel. +34 91 807 21 00
Fax +34 91 807 21 99
www.gmv.com

$Description: Description: C:\Users\fffm\AppData\Roaming\Microsoft\Firmas\icon_blog.gif$

$Description: Description: C:\Users\fffm\AppData\Roaming\Microsoft\Firmas\icon_facebook.gif$

$Description: Description: C:\Users\fffm\AppData\Roaming\Microsoft\Firmas\icon_twitter.gif$

$Description: Description: C:\Users\fffm\AppData\Roaming\Microsoft\Firmas\icon_youtube.gif$

From: Thanassis Tsiodras [mailto:ttsiodras@xxxxxxxxxxx]
Sent: jueves, 04 de octubre de 2012 8:25
To: taste-users@xxxxxxxxxxxxxxxxxxx
Cc: Francisco Ferrero Mateos; Elena Alaña Salazar
Subject: Re: [taste-users] Linking against external libraries

Hi Francisco.

First lets make sure you are using the proper partition name - check the contents of the "nodes" file (generated by buildsupport during the build) and strip whatever _objXXX extension it has. For example...

$ cd ~/tool-src/testSuites/Regression_AADLv2/Demo_Ada_GUI
$ ,/build-script.sh
...
$ grep '^\*' binary.linux.ada/ConcurrencyView/nodes
* mypartition_obj142 PLATFORM_NATIVE

In this case for example, you would have added :

-l mypartition:/path/to/libwhatever.a

Thanassis.

On 03/10/2012 07:36 μμ, Francisco Ferrero Mateos wrote:

Dear all,

I am configuring the assert-builder-ocarina.py tool to add additional libraries to be linked to my partition. However I can see that the library is not set in the library path when linking the partition. Therefore, ld prompts an error when generating the system.

This is the assert builder invocation:

assert-builder-ocarina.py \

                --fast \

                --aadlv2 \

                --keep-case \

                --interfaceView InterfaceView.aadl \

                --deploymentView DeploymentView.aadl \

                -p -o $SOURCE_DIR/binary \

                --subC [...] \

--subAda [...] \

                -l x86PC_primary_partition:/home/assert/workspace/obcp_project/external_lib/libmylib.a \

                $ORCHESTRATOR_OPTIONS

And this is linkage line:

gcc -o x86pc_primary_partition -lrt /home/assert/workspace/obcp_project/src/binary/auto-src_PLATFORM_LINUX32/*.o /home/assert/workspace/obcp_project/src/binary/aocs_gnc_impl_inst/aocs_gnc_impl_inst/*.o /home/assert/workspace/obcp_project/src/binary/aocs_navigation_impl_inst/aocs_navigation_impl_inst/*.o /home/assert/workspace/obcp_project/src/binary/aocs_mode_control_impl_inst/aocs_mode_control_impl_inst/*.o /home/assert/workspace/obcp_project/src/binary/fdir_impl_inst/fdir_impl_inst/*.o /home/assert/workspace/obcp_project/src/binary/psethernetproxy/psethernetproxy/*.o /home/assert/workspace/obcp_project/src/binary/psethernetproxy/*.o /home/assert/workspace/obcp_project/src/binary/psethernettxtable/psethernettxtable/*.o /home/assert/workspace/obcp_project/src/binary/psethernettxtable/*.o /home/assert/workspace/obcp_project/src/binary/psrxtable/psrxtable/*.o /home/assert/workspace/obcp_project/src/binary/psrxtable/*.o /home/assert/workspace/obcp_project/src/binary/psrxdispatching/psrxdispatching/*.o /home/assert/workspace/obcp_project/src/binary/psrxdispatching/*.o /home/assert/workspace/obcp_project/src/binary/pstxmanagement/pstxmanagement/*.o /home/assert/workspace/obcp_project/src/binary/pstxmanagement/*.o /home/assert/workspace/obcp_project/src/binary/pstmroutingtable/pstmroutingtable/*.o /home/assert/workspace/obcp_project/src/binary/pstmroutingtable/*.o /home/assert/workspace/obcp_project/src/binary/dhctcdispatcher/dhctcdispatcher/*.o /home/assert/workspace/obcp_project/src/binary/dhctcdispatcher/*.o /home/assert/workspace/obcp_project/src/binary/dhctcverification/dhctcverification/*.o /home/assert/workspace/obcp_project/src/binary/dhctcverification/*.o /home/assert/workspace/obcp_project/src/binary/dhctctables/dhctctables/*.o /home/assert/workspace/obcp_project/src/binary/dhctctables/*.o /home/assert/workspace/obcp_project/src/binary/dhctcpublishing/dhctcpublishing/*.o /home/assert/workspace/obcp_project/src/binary/dhctcpublishing/*.o /home/assert/workspace/obcp_project/src/binary/dhctmreceiver/dhctmreceiver/*.o /home/assert/workspace/obcp_project/src/binary/dhctmreceiver/*.o /home/assert/workspace/obcp_project/src/binary/reportingtmpublishing/reportingtmpublishing/*.o /home/assert/workspace/obcp_project/src/binary/reportingtmpublishing/*.o /home/assert/workspace/obcp_project/src/binary/reportingtmtable/reportingtmtable/*.o /home/assert/workspace/obcp_project/src/binary/reportingtmtable/*.o /home/assert/workspace/obcp_project/src/binary/reportingtmdispatching/reportingtmdispatching/*.o /home/assert/workspace/obcp_project/src/binary/reportingtmdispatching/*.o /home/assert/workspace/obcp_project/src/binary/reportinggeneratetm/reportinggeneratetm/*.o /home/assert/workspace/obcp_project/src/binary/reportinggeneratetm/*.o /home/assert/workspace/obcp_project/src/binary/reportingeventreportgeneration/reportingeventreportgeneration/*.o /home/assert/workspace/obcp_project/src/binary/reportingeventreportgeneration/*.o /home/assert/workspace/obcp_project/src/binary/reportingcontroleventreport/reportingcontroleventreport/*.o /home/assert/workspace/obcp_project/src/binary/reportingcontroleventreport/*.o /home/assert/workspace/obcp_project/src/binary/monitoringtcpublishing/monitoringtcpublishing/*.o /home/assert/workspace/obcp_project/src/binary/monitoringtcpublishing/*.o /home/assert/workspace/obcp_project/src/binary/monitoringtctable/monitoringtctable/*.o /home/assert/workspace/obcp_project/src/binary/monitoringtctable/*.o /home/assert/workspace/obcp_project/src/binary/monitoringtcdispatching/monitoringtcdispatching/*.o /home/assert/workspace/obcp_project/src/binary/monitoringtcdispatching/*.o /home/assert/workspace/obcp_project/src/binary/monitoringprocesscommand/monitoringprocesscommand/*.o /home/assert/workspace/obcp_project/src/binary/monitoringprocesscommand/*.o /home/assert/workspace/obcp_project/src/binary/monitoringcontrol/monitoringcontrol/*.o /home/assert/workspace/obcp_project/src/binary/monitoringcontrol/*.o /home/assert/workspace/obcp_project/src/binary/monitoringmonitor/monitoringmonitor/*.o /home/assert/workspace/obcp_project/src/binary/monitoringmonitor/*.o /home/assert/workspace/obcp_project/src/binary/monitoringdataacquisition/monitoringdataacquisition/*.o /home/assert/workspace/obcp_project/src/binary/monitoringdataacquisition/*.o /home/assert/workspace/obcp_project/src/binary/housekeepingtcpublishing/housekeepingtcpublishing/*.o /home/assert/workspace/obcp_project/src/binary/housekeepingtcpublishing/*.o /home/assert/workspace/obcp_project/src/binary/housekeepingtctable/housekeepingtctable/*.o /home/assert/workspace/obcp_project/src/binary/housekeepingtctable/*.o /home/assert/workspace/obcp_project/src/binary/housekeepingtcdispatching/housekeepingtcdispatching/*.o /home/assert/workspace/obcp_project/src/binary/housekeepingtcdispatching/*.o /home/assert/workspace/obcp_project/src/binary/housekeepingprocesscommand/housekeepingprocesscommand/*.o /home/assert/workspace/obcp_project/src/binary/housekeepingprocesscommand/*.o /home/assert/workspace/obcp_project/src/binary/housekeepingcontrol/housekeepingcontrol/*.o /home/assert/workspace/obcp_project/src/binary/housekeepingcontrol/*.o /home/assert/workspace/obcp_project/src/binary/housekeepingdatareporting/housekeepingdatareporting/*.o /home/assert/workspace/obcp_project/src/binary/housekeepingdatareporting/*.o /home/assert/workspace/obcp_project/src/binary/housekeepingdataacquisition/housekeepingdataacquisition/*.o /home/assert/workspace/obcp_project/src/binary/housekeepingdataacquisition/*.o /home/assert/workspace/obcp_project/src/binary/commandingtcpublishing/commandingtcpublishing/*.o /home/assert/workspace/obcp_project/src/binary/commandingtcpublishing/*.o /home/assert/workspace/obcp_project/src/binary/commandingtctable/commandingtctable/*.o /home/assert/workspace/obcp_project/src/binary/commandingtctable/*.o /home/assert/workspace/obcp_project/src/binary/commandingtcdispatcher/commandingtcdispatcher/*.o /home/assert/workspace/obcp_project/src/binary/commandingtcdispatcher/*.o /home/assert/workspace/obcp_project/src/binary/commandingprocesscommand/commandingprocesscommand/*.o /home/assert/workspace/obcp_project/src/binary/commandingprocesscommand/*.o /home/assert/workspace/obcp_project/src/binary/commandingcommandverificationmanager/commandingcommandverificationmanager/*.o /home/assert/workspace/obcp_project/src/binary/commandingcommandverificationmanager/*.o /home/assert/workspace/obcp_project/src/binary/commandingcommandfunctionality/commandingcommandfunctionality/*.o /home/assert/workspace/obcp_project/src/binary/commandingcommandfunctionality/*.o /home/assert/workspace/obcp_project/src/binary/commandingsystemmanagement/commandingsystemmanagement/*.o /home/assert/workspace/obcp_project/src/binary/commandingsystemmanagement/*.o /home/assert/workspace/obcp_project/src/binary/timeprocesstc/timeprocesstc/*.o /home/assert/workspace/obcp_project/src/binary/timeprocesstc/*.o /home/assert/workspace/obcp_project/src/binary/timereportrate/timereportrate/*.o /home/assert/workspace/obcp_project/src/binary/timereportrate/*.o /home/assert/workspace/obcp_project/src/binary/obtimesatellitetime/obtimesatellitetime/*.o /home/assert/workspace/obcp_project/src/binary/obtimesatellitetime/*.o /home/assert/workspace/obcp_project/src/binary/obcpbbdatabase/obcpbbdatabase/*.o /home/assert/workspace/obcp_project/src/binary/obcpbbmanager/obcpbbmanager/*.o /home/assert/workspace/obcp_project/src/binary/obcpbbproxy/obcpbbproxy/*.o /home/assert/workspace/obcp_project/src/binary/obcpbbstatemachine/obcpbbstatemachine/*.o /home/assert/workspace/obcp_project/src/binary/obcpbbthreadobop/obcpbbthreadobop/*.o /home/assert/workspace/obcp_project/src/binary/obcpbbthreadobapone/obcpbbthreadobapone/*.o /home/assert/workspace/obcp_project/src/binary/obcpbbthreadobaptwo/obcpbbthreadobaptwo/*.o /home/assert/workspace/obcp_project/src/binary/vt_aocs_navigation_impl_inst_navigationupdate_if_navigationupdate_aocsnavigationimplinst/*.o /home/assert/workspace/obcp_project/src/binary/vt_aocs_mode_control_impl_inst_aocs_mode_commanding_if_set_aocs_mode_aocsmodecontrolimplinst/*.o /home/assert/workspace/obcp_project/src/binary/vt_psethernetproxy_ethtc/*.o /home/assert/workspace/obcp_project/src/binary/vt_psethernetproxy_myexeccyclic/*.o /home/assert/workspace/obcp_project/src/binary/vt_psrxdispatching_myexeccyclic/*.o /home/assert/workspace/obcp_project/src/binary/vt_psrxdispatching_processtc/*.o /home/assert/workspace/obcp_project/src/binary/vt_pstxmanagement_pustelemetry/*.o /home/assert/workspace/obcp_project/src/binary/vt_pstxmanagement_nativetelemetry/*.o /home/assert/workspace/obcp_project/src/binary/vt_dhctcpublishing_nativecommand/*.o /home/assert/workspace/obcp_project/src/binary/vt_commandingprocesscommand_processtc/*.o /home/assert/workspace/obcp_project/src/binary/vt_commandingprocesscommand_checktasks/*.o /home/assert/workspace/obcp_project/src/binary/vt_commandingcommandfunctionality_commandfunction/*.o /home/assert/workspace/obcp_project/src/binary/vt_commandingcommandfunctionality_progressaocsmodecontrolimplinstsetaocsmode/*.o /home/assert/workspace/obcp_project/src/binary/vt_monitoringmonitor_setaocs_mode_control_impl_instattr_mode/*.o /home/assert/workspace/obcp_project/src/binary/vt_monitoringmonitor_monitordata/*.o /home/assert/workspace/obcp_project/src/binary/vt_monitoringmonitor_changedelay/*.o /home/assert/workspace/obcp_project/src/binary/vt_monitoringmonitor_clearmonlist/*.o /home/assert/workspace/obcp_project/src/binary/vt_monitoringmonitor_addparammonlist/*.o /home/assert/workspace/obcp_project/src/binary/vt_monitoringmonitor_deleteparammonlist/*.o /home/assert/workspace/obcp_project/src/binary/vt_monitoringmonitor_paramoutlimit/*.o /home/assert/workspace/obcp_project/src/binary/vt_monitoringmonitor_enablemonitoring/*.o /home/assert/workspace/obcp_project/src/binary/vt_monitoringmonitor_disablemonitoring/*.o /home/assert/workspace/obcp_project/src/binary/vt_monitoringmonitor_enableparam/*.o /home/assert/workspace/obcp_project/src/binary/vt_monitoringmonitor_disableparam/*.o /home/assert/workspace/obcp_project/src/binary/vt_housekeepingdatareporting_setaocs_mode_control_impl_instattr_mode/*.o /home/assert/workspace/obcp_project/src/binary/vt_housekeepingdatareporting_reportdata/*.o /home/assert/workspace/obcp_project/src/binary/vt_housekeepingdatareporting_enablesid/*.o /home/assert/workspace/obcp_project/src/binary/vt_housekeepingdatareporting_disablesid/*.o /home/assert/workspace/obcp_project/src/binary/vt_housekeepingdatareporting_enablehousekeeping/*.o /home/assert/workspace/obcp_project/src/binary/vt_housekeepingdatareporting_disablehousekeeping/*.o /home/assert/workspace/obcp_project/src/binary/vt_housekeepingdatareporting_setobcpdata/*.o /home/assert/workspace/obcp_project/src/binary/vt_timereportrate_myexeccyclic/*.o /home/assert/workspace/obcp_project/src/binary/vt_timereportrate_setrate/*.o /home/assert/workspace/obcp_project/src/binary/vt_obcpbbproxy_tc_obcp/*.o /home/assert/workspace/obcp_project/src/binary/vt_obcpbbproxy_tm_obcp/*.o /home/assert/workspace/obcp_project/src/binary/vt_obcpbbmanager_obcp_telemetry/*.o /home/assert/workspace/obcp_project/src/binary/vt_obcpbbthreadobop_stopobop/*.o /home/assert/workspace/obcp_project/src/binary/vt_obcpbbthreadobop_executeobop/*.o /home/assert/workspace/obcp_project/src/binary/vt_obcpbbthreadobop_abortobop/*.o /home/assert/workspace/obcp_project/src/binary/vt_obcpbbthreadobapone_stopobapone/*.o /home/assert/workspace/obcp_project/src/binary/vt_obcpbbthreadobapone_executeobapone/*.o /home/assert/workspace/obcp_project/src/binary/vt_obcpbbthreadobapone_abortobapone/*.o /home/assert/workspace/obcp_project/src/binary/vt_obcpbbthreadobaptwo_stopobaptwo/*.o /home/assert/workspace/obcp_project/src/binary/vt_obcpbbthreadobaptwo_executeobaptwo/*.o /home/assert/workspace/obcp_project/src/binary/vt_obcpbbthreadobaptwo_abortobaptwo/*.o po_hi_task.o po_hi_time.o po_hi_protected.o po_hi_main.o po_hi_messages.o po_hi_marshallers.o po_hi_giop.o po_hi_utils.o po_hi_types.o po_hi_monitor.o po_hi_storage.o po_hi_gqueue.o drivers/po_hi_driver_exarm.o drivers/po_hi_driver_keyboard.o drivers/po_hi_driver_exarm_ni_6071e_analog.o drivers/po_hi_driver_exarm_ni_6071e_digital.o drivers/po_hi_driver_usbbrick_spacewire.o drivers/po_hi_driver_linux_serial.o drivers/po_hi_driver_leon_serial.o drivers/po_hi_driver_leon_eth.o drivers/po_hi_driver_serial_common.o drivers/po_hi_driver_sockets.o drivers/po_hi_driver_rtems_ne2000.o drivers/po_hi_driver_rasta_serial.o drivers/po_hi_driver_rasta_common.o drivers/po_hi_driver_rasta_1553.o drivers/po_hi_driver_xc4v_fpga.o drivers/po_hi_driver_rasta_1553_brmlib.o drivers/po_hi_driver_rasta_spacewire.o po_hi_transport.o po_hi_lua.o   activity.o subprograms.o types.o request.o marshallers.o deployment.o naming.o main.o DeviceConfig-x86pc-eth0-driver.o DeviceConfig-groundsegment-eht0dock-driver.o -lpthread -lrt -m32 -L/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-c/libs/linux32/ -llua -lm -m32 -lm -L/usr/lib/gcc/i486-linux-gnu/4.4/adalib/ -Wl,-R/usr/lib/gcc/i486-linux-gnu/4.4/adalib/ -lgnat -lgnarl -Wl,-gc-sections -lpthread -lrt -L/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-c/libs/linux32/ -llua

/home/assert/workspace/obcp_project/src/binary/obcpbbthreadobapone/obcpbbthreadobapone/obcpbbthreadobapone.o: In function `obcpbbthreadobapone_PI_executeobapone':

obcpbbthreadobapone.c:(.text+0xd4f): undefined reference to `luaopen_mylib'

collect2: ld returned 1 exit status

make: *** [x86pc_primary_partition] Error 1

Please, could you point out where the problem is? How can I link the partition against a static library?

Kind regards,

$Description: Description: C:\Users\fffm\AppData\Roaming\Microsoft\Firmas\logo_gmv.gif$

Francisco Ferrero Mateos
Jefe de proyecto /
Project Manager

GMV
Isaac Newton, 11
P.T.M. Tres Cantos
E-28760 Madrid
Tel. +34 91 807 21 00
Fax +34 91 807 21 99
www.gmv.com

$Description: Description: C:\Users\fffm\AppData\Roaming\Microsoft\Firmas\icon_blog.gif$

$Description: Description: C:\Users\fffm\AppData\Roaming\Microsoft\Firmas\icon_facebook.gif$

$Description: Description: C:\Users\fffm\AppData\Roaming\Microsoft\Firmas\icon_twitter.gif$

$Description: Description: C:\Users\fffm\AppData\Roaming\Microsoft\Firmas\icon_youtube.gif$

P Please consider the environment before printing this e-mail.

This message including any attachments may contain confidential information, according to our Information Security Management System, and intended solely for a specific individual to whom they are addressed. Any unauthorised copy, disclosure or distribution of this message is strictly forbidden. If you have received this transmission in error, please notify the sender immediately and delete it.

Este mensaje, y en su caso, cualquier fichero anexo al mismo, puede contener información clasificada por su emisor como confidencial en el marco de su Sistema de Gestión de Seguridad de la Información siendo para uso exclusivo del destinatario, quedando prohibida su divulgación copia o distribución a terceros sin la autorización expresa del remitente. Si Vd. ha recibido este mensaje erróneamente, se ruega lo notifique al remitente y proceda a su borrado. Gracias por su colaboración.

Esta mensagem, incluindo qualquer ficheiro anexo, pode conter informação confidencial, de acordo com nosso Sistema de Gestão de Segurança da Informação, sendo para uso exclusivo do destinatário e estando proibida a sua divulgação, cópia ou distribuição a terceiros sem autorização expressa do remetente da mesma. Se recebeu esta mensagem por engano, por favor avise de imediato o remetente e apague-a. Obrigado pela sua colaboração.