Hi Thanassis,
Well, I have now encountered the next problem. When building the application using ‘build-script.sh’, it fails late in the link phase with the following error messages:
...
/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/deploymentview_final/globalpartition_obj102/associatedcheckstates.o:
In function `associatedcheckstates_PI_UpdateCheckState':
/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/associatedcheckstates/associatedcheckstates/associatedcheckstates.adb:49:
multiple definition of `associatedcheckstates_PI_UpdateCheckState'
/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/associatedcheckdefinitions/associatedcheckdefinitions/associatedcheckstates.o:associatedcheckstates.adb:(.text+0xf1):
first defined here
/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/deploymentview_final/globalpartition_obj102/associatedcheckstates.o:
In function `associatedcheckstates_PI_GetCheckState':
/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/associatedcheckstates/associatedcheckstates/associatedcheckstates.adb:59:
multiple definition of `associatedcheckstates_PI_GetCheckState'
/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/associatedcheckdefinitions/associatedcheckdefinitions/associatedcheckstates.o:associatedcheckstates.adb:(.text+0xf9):
first defined here
/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/deploymentview_final/globalpartition_obj102/parameterpool.o:(.data+0x0):
multiple definition of `parameterpool_E'
/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/parameterpool/parameterpool/parameterpool.o:(.data+0x0):
first defined here
/home/assert/mbcode/Prototype/Design_Defin
gnatlink: error when calling /usr/bin/gcc-4.4
ition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/deploymentview_final/globalpartition_obj102/parameterpool.o:
In function `parameterpool_PI_getParameter':
/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/parameterpool/parameterpool/parameterpool.adb:18:
multiple definition of `parameterpool_PI_getParameter'
/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/parameterpool/parameterpool/parameterpool.o:parameterpool.adb:(.text+0x0):
first defined here
collect2: ld returned 1 exit status
gnatmake: *** link failed.
make: *** [all] Error 4
File "/opt/ocarina-2.0w-suite-x86-linux-2010.svn/bin/assert-builder-ocarina.py", line 2253, in <module>
main()
File "/opt/ocarina-2.0w-suite-x86-linux-2010.svn/bin/assert-builder-ocarina.py", line 2246, in main
bDebug, bUseEmptyInitializers, bCoverage)
File "/opt/ocarina-2.0w-suite-x86-linux-2010.svn/bin/assert-builder-ocarina.py", line 1092, in InvokeOcarinaMakefiles
mysystem((cmd % customFlags) + extra + externals+"\" make")
File "/opt/ocarina-2.0w-suite-x86-linux-2010.svn/bin/assert-builder-ocarina.py", line 125, in mysystem
traceback.print_stack()
Failed while executing:
cd './deploymentview_final/globalpartition_obj102' && ADA_INCLUDE_PATH="/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/applicationprocess/applicationprocess:/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/thechecktransitionreport/thechecktransitionreport:/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/associatedcheckstates/associatedcheckstates:/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/reportedcheckstatetransitions/reportedcheckstatetransitions:/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/thegenerator/thegenerator:/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/checkedparameters/checkedparameters:/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/thechecker/thechecker:/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/associatedcheckdefinitions/associatedcheckdefinitions:/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/missiondatabase/missiondatabase:/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/parameterpool/parameterpool:/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/ground/ground:/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/Backdoor:/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/vt_checkedparameters_configure"
USER_CFLAGS="${USER_CFLAGS} -m32 " USER_LDFLAGS="${USER_LDFLAGS} -m32 -lm " EXTERNAL_OBJECTS="-lrt /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/auto-src_PLATFORM_LINUX32/*.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/thechecker/thechecker/*.o
/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/associatedcheckstates/associatedcheckstates/*.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/associatedcheckdefinitions/associatedcheckdefinitions/*.o
/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/thegenerator/thegenerator/*.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/thechecktransitionreport/thechecktransitionreport/*.o
/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/reportedcheckstatetransitions/reportedcheckstatetransitions/*.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/checkedparameter
Exception in user code:
------------------------------------------------------------
------------------------------------------------------------
s/checkedparameters/*.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/applicationprocess/applicationprocess/*.o
/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/parameterpool/parameterpool/*.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/missiondatabase/missiondatabase/*.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/ground/ground/*.o
" make
From this directory:
/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild
Failed to compile...
To me, it smells as if there is a discrepancy between the generated Ada code and the generated C code.
Does anybody have any suggestions on how to proceed?
Regards,
Gert
P.S. The complete error outputs are attached.
Gert Caspersen
Senior Engineer, Project Manager
Space Projects (DK)
Terma A/S
On 25/4/2012 2:11 μμ, Gert Caspersen wrote:
Hi Thanassis,
OK, this solved the problem. Thanks for your quick response time.
No pb.
Does this imply that I may delete the files "TASTE-Directives.aadl" and "TASTE-Directives.asn" or are they used somewhere else?
No - the TASTE Directives are still used for various reasons ; they are simply not referenced in the IF view anymore.
Kind regards,
Thanassis.
--
------------------------------------------------------------
Thanassis Tsiodras, Dr.-Ing.
Semantix Information Technologies
email: ttsiodras@xxxxxxxxxxx
web : http://www.semantix.gr
phone: (+30)2106412065
fax : (+30)2106412068
addr.: K Tsaldari 62, 11476, Athens, GREECE
------------------------------------------------------------