RE: [taste-users] Failing TASTE Build

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/associatedcheckstates/associatedcheckstates/associatedcheckstates.adb:59: multiple definition of `associatedcheckstates_PI_GetCheckState'

/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

From: Thanassis Tsiodras [mailto:ttsiodras@xxxxxxxxxxx]
Sent: 25 April 2012 13:14
To: Gert Caspersen
Cc: taste-users@xxxxxxxxxxxxxxxxxxx
Subject: Re: [taste-users] Failing TASTE Build

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

------------------------------------------------------------

adding: thechecker/adaasn1rtl.ads (deflated 64%) adding: thechecker/application_processes.ads (deflated 63%) adding: thechecker/context_thechecker.ads (deflated 59%) adding: thechecker/dataview/ (stored 0%) adding: thechecker/event_action.ads (deflated 65%) adding: thechecker/event_reporting.ads (deflated 84%) adding: thechecker/onboard_monitoring.ads (deflated 76%) adding: thechecker/onboard_monitoring_dataview.ads (deflated 76%) adding: thechecker/onboard_parameters.ads (deflated 91%) adding: thechecker/service_reports.ads (deflated 68%) adding: thechecker/standard_datatypes.ads (deflated 80%) adding: thechecker/telecommand_verification.ads (deflated 81%) adding: thechecker/thechecker.adb (deflated 67%) adding: thechecker/thechecker.ads (deflated 78%) adding: associatedcheckstates/associatedcheckstates.adb (deflated 69%) adding: associatedcheckstates/associatedcheckstates.ads (deflated 68%) adding: associatedcheckstates/associatedcheckstates.gpr (deflated 41%) adding: associatedcheckstates/dataview/ (stored 0%) adding: associatedcheckdefinitions/associatedcheckdefinitions.adb (deflated 58%) adding: associatedcheckdefinitions/associatedcheckdefinitions.ads (deflated 68%) adding: associatedcheckdefinitions/associatedcheckdefinitions.ali (deflated 65%) adding: associatedcheckdefinitions/associatedcheckdefinitions.gpr (deflated 48%) adding: associatedcheckdefinitions/associatedcheckdefinitions.o (deflated 58%) adding: associatedcheckdefinitions/associatedcheckstates.ali (deflated 64%) adding: associatedcheckdefinitions/associatedcheckstates.o (deflated 56%) adding: associatedcheckdefinitions/dataview/ (stored 0%) adding: associatedcheckdefinitions/debug/ (stored 0%) adding: associatedcheckdefinitions/onboard_monitoring_dataview.ali (deflated 68%) adding: thegenerator/dataview/ (stored 0%) adding: thegenerator/thegenerator.adb (deflated 57%) adding: thegenerator/thegenerator.ads (deflated 81%) adding: thechecktransitionreport/adaasn1rtl.ads (deflated 64%) adding: thechecktransitionreport/application_processes.ads (deflated 63%) adding: thechecktransitionreport/context_thechecktransitionreport.ads (deflated 63%) adding: thechecktransitionreport/dataview/ (stored 0%) adding: thechecktransitionreport/event_action.ads (deflated 65%) adding: thechecktransitionreport/event_reporting.ads (deflated 84%) adding: thechecktransitionreport/onboard_monitoring.ads (deflated 76%) adding: thechecktransitionreport/onboard_monitoring_dataview.ads (deflated 76%) adding: thechecktransitionreport/onboard_parameters.ads (deflated 91%) adding: thechecktransitionreport/service_reports.ads (deflated 68%) adding: thechecktransitionreport/standard_datatypes.ads (deflated 80%) adding: thechecktransitionreport/telecommand_verification.ads (deflated 81%) adding: thechecktransitionreport/thechecktransitionreport.adb (deflated 67%) adding: thechecktransitionreport/thechecktransitionreport.ads (deflated 68%) adding: reportedcheckstatetransitions/adaasn1rtl.ads (deflated 64%) adding: reportedcheckstatetransitions/application_processes.ads (deflated 63%) adding: reportedcheckstatetransitions/context_reportedcheckstatetransitions.ads (deflated 67%) adding: reportedcheckstatetransitions/dataview/ (stored 0%) adding: reportedcheckstatetransitions/event_action.ads (deflated 65%) adding: reportedcheckstatetransitions/event_reporting.ads (deflated 84%) adding: reportedcheckstatetransitions/onboard_monitoring.ads (deflated 76%) adding: reportedcheckstatetransitions/onboard_monitoring_dataview.ads (deflated 76%) adding: reportedcheckstatetransitions/onboard_parameters.ads (deflated 91%) adding: reportedcheckstatetransitions/reportedcheckstatetransitions.adb (deflated 69%) adding: reportedcheckstatetransitions/reportedcheckstatetransitions.ads (deflated 71%) adding: reportedcheckstatetransitions/service_reports.ads (deflated 68%) adding: reportedcheckstatetransitions/standard_datatypes.ads (deflated 80%) adding: reportedcheckstatetransitions/telecommand_verification.ads (deflated 81%) adding: checkedparameters/adaasn1rtl.ads (deflated 64%) adding: checkedparameters/application_processes.ads (deflated 63%) adding: checkedparameters/checkedparameters.adb (deflated 67%) adding: checkedparameters/checkedparameters.ads (deflated 67%) adding: checkedparameters/checkedparameters.gpr (deflated 48%) adding: checkedparameters/context_checkedparameters.ads (deflated 61%) adding: checkedparameters/dataview/ (stored 0%) adding: checkedparameters/debug/ (stored 0%) adding: checkedparameters/event_action.ads (deflated 65%) adding: checkedparameters/event_reporting.ads (deflated 84%) adding: checkedparameters/onboard_monitoring.ads (deflated 76%) adding: checkedparameters/onboard_monitoring_dataview.ads (deflated 76%) adding: checkedparameters/onboard_parameters.ads (deflated 91%) adding: checkedparameters/service_reports.ads (deflated 68%) adding: checkedparameters/standard_datatypes.ads (deflated 80%) adding: checkedparameters/telecommand_verification.ads (deflated 81%) adding: applicationprocess/applicationprocess.adb (deflated 52%) adding: applicationprocess/applicationprocess.ads (deflated 70%) adding: applicationprocess/applicationprocess.gpr (deflated 18%) adding: parameterpool/dataview/ (stored 0%) adding: parameterpool/debug/ (stored 0%) adding: parameterpool/parameterpool.adb (deflated 63%) adding: parameterpool/parameterpool.ads (deflated 54%) adding: parameterpool/parameterpool.ali (deflated 60%) adding: parameterpool/parameterpool.gpr (deflated 47%) adding: parameterpool/parameterpool.o (deflated 59%) adding: missiondatabase/dataview/ (stored 0%) adding: missiondatabase/debug/ (stored 0%) adding: missiondatabase/missiondatabase.adb (deflated 74%) adding: missiondatabase/missiondatabase.ads (deflated 66%) adding: missiondatabase/missiondatabase.gpr (deflated 51%) adding: missiondatabase/onboard_parameters.ali (deflated 80%) adding: ground/dataview/ (stored 0%) adding: ground/debug/ (stored 0%) adding: ground/ground.adb (deflated 57%) adding: ground/ground.ads (deflated 53%) adding: ground/ground.gpr (deflated 33%) Building the system with the Ada runtime (add -p in the build script to replace with C) From ASN.1 to the Data View (AADL) (includes message sizes calculations) From ASN.1 to the C codecs (ASN.1 encoder/decoder) (including compilation of the C source code) Unzipping/Preparing the sources of the subsystems Archive: /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/applicationprocess.zip inflating: applicationprocess/applicationprocess.adb inflating: applicationprocess/applicationprocess.ads inflating: applicationprocess/applicationprocess.gpr Archive: /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/thechecktransitionreport.zip inflating: thechecktransitionreport/adaasn1rtl.ads inflating: thechecktransitionreport/application_processes.ads inflating: thechecktransitionreport/context_thechecktransitionreport.ads creating: thechecktransitionreport/dataview/ inflating: thechecktransitionreport/event_action.ads inflating: thechecktransitionreport/event_reporting.ads inflating: thechecktransitionreport/onboard_monitoring.ads inflating: thechecktransitionreport/onboard_monitoring_dataview.ads inflating: thechecktransitionreport/onboard_parameters.ads inflating: thechecktransitionreport/service_reports.ads inflating: thechecktransitionreport/standard_datatypes.ads inflating: thechecktransitionreport/telecommand_verification.ads inflating: thechecktransitionreport/thechecktransitionreport.adb inflating: thechecktransitionreport/thechecktransitionreport.ads Archive: /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/associatedcheckstates.zip inflating: associatedcheckstates/associatedcheckstates.adb inflating: associatedcheckstates/associatedcheckstates.ads inflating: associatedcheckstates/associatedcheckstates.gpr creating: associatedcheckstates/dataview/ Archive: /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/reportedcheckstatetransitions.zip inflating: reportedcheckstatetransitions/adaasn1rtl.ads inflating: reportedcheckstatetransitions/application_processes.ads inflating: reportedcheckstatetransitions/context_reportedcheckstatetransitions.ads creating: reportedcheckstatetransitions/dataview/ inflating: reportedcheckstatetransitions/event_action.ads inflating: reportedcheckstatetransitions/event_reporting.ads inflating: reportedcheckstatetransitions/onboard_monitoring.ads inflating: reportedcheckstatetransitions/onboard_monitoring_dataview.ads inflating: reportedcheckstatetransitions/onboard_parameters.ads inflating: reportedcheckstatetransitions/reportedcheckstatetransitions.adb inflating: reportedcheckstatetransitions/reportedcheckstatetransitions.ads inflating: reportedcheckstatetransitions/service_reports.ads inflating: reportedcheckstatetransitions/standard_datatypes.ads inflating: reportedcheckstatetransitions/telecommand_verification.ads Archive: /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/thegenerator.zip creating: thegenerator/dataview/ inflating: thegenerator/thegenerator.adb inflating: thegenerator/thegenerator.ads Archive: /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/checkedparameters.zip inflating: checkedparameters/adaasn1rtl.ads inflating: checkedparameters/application_processes.ads inflating: checkedparameters/checkedparameters.adb inflating: checkedparameters/checkedparameters.ads inflating: checkedparameters/checkedparameters.gpr inflating: checkedparameters/context_checkedparameters.ads creating: checkedparameters/dataview/ creating: checkedparameters/debug/ inflating: checkedparameters/event_action.ads inflating: checkedparameters/event_reporting.ads inflating: checkedparameters/onboard_monitoring.ads inflating: checkedparameters/onboard_monitoring_dataview.ads inflating: checkedparameters/onboard_parameters.ads inflating: checkedparameters/service_reports.ads inflating: checkedparameters/standard_datatypes.ads inflating: checkedparameters/telecommand_verification.ads Archive: /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/thechecker.zip inflating: thechecker/adaasn1rtl.ads inflating: thechecker/application_processes.ads inflating: thechecker/context_thechecker.ads creating: thechecker/dataview/ inflating: thechecker/event_action.ads inflating: thechecker/event_reporting.ads inflating: thechecker/onboard_monitoring.ads inflating: thechecker/onboard_monitoring_dataview.ads inflating: thechecker/onboard_parameters.ads inflating: thechecker/service_reports.ads inflating: thechecker/standard_datatypes.ads inflating: thechecker/telecommand_verification.ads inflating: thechecker/thechecker.adb inflating: thechecker/thechecker.ads Archive: /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/associatedcheckdefinitions.zip inflating: associatedcheckdefinitions/associatedcheckdefinitions.adb inflating: associatedcheckdefinitions/associatedcheckdefinitions.ads inflating: associatedcheckdefinitions/associatedcheckdefinitions.ali inflating: associatedcheckdefinitions/associatedcheckdefinitions.gpr inflating: associatedcheckdefinitions/associatedcheckdefinitions.o inflating: associatedcheckdefinitions/associatedcheckstates.ali inflating: associatedcheckdefinitions/associatedcheckstates.o creating: associatedcheckdefinitions/dataview/ creating: associatedcheckdefinitions/debug/ inflating: associatedcheckdefinitions/onboard_monitoring_dataview.ali Archive: /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/missiondatabase.zip creating: missiondatabase/dataview/ creating: missiondatabase/debug/ inflating: missiondatabase/missiondatabase.adb inflating: missiondatabase/missiondatabase.ads inflating: missiondatabase/missiondatabase.gpr inflating: missiondatabase/onboard_parameters.ali Archive: /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/parameterpool.zip creating: parameterpool/dataview/ creating: parameterpool/debug/ inflating: parameterpool/parameterpool.adb inflating: parameterpool/parameterpool.ads inflating: parameterpool/parameterpool.ali inflating: parameterpool/parameterpool.gpr inflating: parameterpool/parameterpool.o Archive: /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/ground.zip creating: ground/dataview/ creating: ground/debug/ inflating: ground/ground.adb inflating: ground/ground.ads inflating: ground/ground.gpr Invoking buildsupport buildsupport - contact: maxime.perrotin@xxxxxxx or ttsiodras@xxxxxxxxxxx Based on Ocarina: 2.0w (Working Copy from r4306) InterfaceView.aadl:235:07: warning: isMonitoring_obj232 references a component type InterfaceView.aadl:400:07: warning: theReport_obj459 references a component type InterfaceView.aadl:438:07: warning: reportedTransitions_obj495 references a component type InterfaceView.aadl:487:07: warning: parameters_obj533 references a component type buildsupport: Total: 0 error and 4 warnings DeploymentView.aadl:37:07: warning: TheChecker_obj124 references a component type DeploymentView.aadl:39:07: warning: AssociatedCheckStates_obj135 references a component type DeploymentView.aadl:41:07: warning: AssociatedCheckDefinitions_obj146 references a component type DeploymentView.aadl:43:07: warning: TheGenerator_obj157 references a component type DeploymentView.aadl:45:07: warning: TheCheckTransitionReport_obj168 references a component type DeploymentView.aadl:47:07: warning: ReportedCheckStateTransitions_obj179 references a component type DeploymentView.aadl:49:07: warning: CheckedParameters_obj190 references a component type DeploymentView.aadl:51:07: warning: ApplicationProcess_obj201 references a component type DeploymentView.aadl:53:07: warning: ParameterPool_obj212 references a component type DeploymentView.aadl:55:07: warning: MissionDatabase_obj223 references a component type DeploymentView.aadl:57:07: warning: Ground_obj234 references a component type InterfaceView.aadl:235:07: warning: isMonitoring_obj232 references a component type InterfaceView.aadl:400:07: warning: theReport_obj459 references a component type InterfaceView.aadl:438:07: warning: reportedTransitions_obj495 references a component type InterfaceView.aadl:487:07: warning: parameters_obj533 references a component type Ada skeleton body created for function thechecker buildsupport: Total: 0 error and 15 warnings Ada skeleton body created for function associatedcheckstates Ada skeleton body created for function associatedcheckdefinitions Ada skeleton body created for function thegenerator Ada skeleton body created for function thechecktransitionreport Ada skeleton body created for function reportedcheckstatetransitions Ada skeleton body created for function checkedparameters Ada skeleton body created for function applicationprocess Ada skeleton body created for function parameterpool Ada skeleton body created for function missiondatabase Ada skeleton body created for function ground [Information] ./D_view_aadlv2.asn not found. Checking for dataview-uniq.asn Executing mono /opt/DMT-ToolsAndManual-Linux-120424/asn1scc/asn1.exe -Ada -typePrefix asn1Scc -o ./thechecker Context-thechecker.asn ./dataview-uniq.asn [Information] ./D_view_aadlv2.asn not found. Checking for dataview-uniq.asn Executing mono /opt/DMT-ToolsAndManual-Linux-120424/asn1scc/asn1.exe -Ada -typePrefix asn1Scc -o ./thechecktransitionreport Context-thechecktransitionreport.asn ./dataview-uniq.asn [Information] ./D_view_aadlv2.asn not found. Checking for dataview-uniq.asn Executing mono /opt/DMT-ToolsAndManual-Linux-120424/asn1scc/asn1.exe -Ada -typePrefix asn1Scc -o ./reportedcheckstatetransitions Context-reportedcheckstatetransitions.asn ./dataview-uniq.asn [Information] ./D_view_aadlv2.asn not found. Checking for dataview-uniq.asn Executing mono /opt/DMT-ToolsAndManual-Linux-120424/asn1scc/asn1.exe -Ada -typePrefix asn1Scc -o ./checkedparameters Context-checkedparameters.asn ./dataview-uniq.asn Creating and compiling the 'glue' code for the subsystems Creating any possible glue for applicationprocess - and compiling it Creating any possible glue for thechecktransitionreport - and compiling it Creating any possible glue for associatedcheckstates - and compiling it Creating any possible glue for reportedcheckstatetransitions - and compiling it Creating any possible glue for thegenerator - and compiling it Creating any possible glue for checkedparameters - and compiling it Creating any possible glue for thechecker - and compiling it Creating any possible glue for associatedcheckdefinitions - and compiling it Creating any possible glue for missiondatabase - and compiling it Creating any possible glue for parameterpool - and compiling it Creating any possible glue for ground - and compiling it Creating any possible glue for vt_checkedparameters_configure - and compiling it Invoking Ocarina Rebuilding because of /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/DeploymentView.aadl Invoking ocarina D_view.aadl:1432:05: warning: Length references a component type ocarina: Total: 0 error and 1 warning process.aadl:36:03 Backends: warning : Undefined scheduling protocol, will use FIFO_WITHIN_PRIORITIES Backends: warning : This OUT port has no source from inside the thread. This could be an inconsistency in the AADL model applicationprocess_CV_Thread.aadl:14:02 Compiling the functional code of the C-based subsystems Compiling automatically created GUIs Compiling automatically created Python stubs Compiling cyclic subsystems Renaming commonly named symbols in the functional codes of the subsystems Scanning symbols of object files inside: applicationprocess/applicationprocess/ Scanning symbols of object files inside: thechecktransitionreport/thechecktransitionreport/ Scanning symbols of object files inside: associatedcheckstates/associatedcheckstates/ Scanning symbols of object files inside: reportedcheckstatetransitions/reportedcheckstatetransitions/ Scanning symbols of object files inside: thegenerator/thegenerator/ Scanning symbols of object files inside: checkedparameters/checkedparameters/ Scanning symbols of object files inside: thechecker/thechecker/ Scanning symbols of object files inside: associatedcheckdefinitions/associatedcheckdefinitions/ Scanning symbols of object files inside: missiondatabase/missiondatabase/ Scanning symbols of object files inside: parameterpool/parameterpool/ Scanning symbols of object files inside: ground/ground/ Scanning symbols of object files inside: vt_checkedparameters_configure/ Scanning symbols of object files inside: vt_checkedparameters_configure/ Creating objcopy commands for object files in: applicationprocess/applicationprocess/ No patching necessary... Creating objcopy commands for object files in: thechecktransitionreport/thechecktransitionreport/ No patching necessary... Creating objcopy commands for object files in: associatedcheckstates/associatedcheckstates/ Executing objcopy commands for object files in: associatedcheckstates/associatedcheckstates/ Creating objcopy commands for object files in: reportedcheckstatetransitions/reportedcheckstatetransitions/ Executing objcopy commands for object files in: reportedcheckstatetransitions/reportedcheckstatetransitions/ Creating objcopy commands for object files in: thegenerator/thegenerator/ Executing objcopy commands for object files in: thegenerator/thegenerator/ Creating objcopy commands for object files in: checkedparameters/checkedparameters/ No patching necessary... Creating objcopy commands for object files in: thechecker/thechecker/ Executing objcopy commands for object files in: thechecker/thechecker/ Creating objcopy commands for object files in: associatedcheckdefinitions/associatedcheckdefinitions/ Executing objcopy commands for object files in: associatedcheckdefinitions/associatedcheckdefinitions/ Creating objcopy commands for object files in: missiondatabase/missiondatabase/ Executing objcopy commands for object files in: missiondatabase/missiondatabase/ Creating objcopy commands for object files in: parameterpool/parameterpool/ Executing objcopy commands for object files in: parameterpool/parameterpool/ Creating objcopy commands for object files in: ground/ground/ No patching necessary... Creating objcopy commands for object files in: vt_checkedparameters_configure/ No patching necessary... Creating objcopy commands for object files in: vt_checkedparameters_configure/ No patching necessary... Invoking Ocarina-made Makefiles... dataview-uniq.c: In function 'asn1SccSigned_Integer_ACN_Encode': dataview-uniq.c:5401: warning: this decimal constant is unsigned only in ISO C90 dataview-uniq.c: In function 'asn1SccSigned_Integer_ACN_Decode': dataview-uniq.c:5412: warning: this decimal constant is unsigned only in ISO C90 ADA_PROJECT_PATH="/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada:$ADA_PROJECT_PATH" \ gnatmake -x -Pglobalpartition_obj102.gpr -XTARGET=NATIVE -XBUILD=Debug -XCGCTRL=No -m32 -largs -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/checkedparameters/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 -m32 -lm polyorb_hi.gpr:171:07: warning: value "Analyzable" is not used as label gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/deploymentview_final/globalpartition_obj102/globalpartition_obj102.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/applicationprocess_wrappers.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/checkedparameters_wrappers.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/polyorb_hi.ads gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/polyorb_hi-suspenders.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/polyorb_hi_generated.ads gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/deploymentview_final/globalpartition_obj102/polyorb_hi_generated-activity.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/thegenerator_wrappers.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/associatedcheckdefinitions_wrappers.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/associatedcheckstates_wrappers.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/missiondatabase_wrappers.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/parameterpool_wrappers.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/polyorb_hi-output.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/thechecker_wrappers.adb gcc-4.4 -c -g -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/applicationprocess/applicationprocess/applicationprocess.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/applicationprocess_async_ri_wrappers.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/deploymentview_final/globalpartition_obj102/polyorb_hi_generated-deployment.ads gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/deploymentview_final/globalpartition_obj102/polyorb_hi_generated-types.adb gcc-4.4 -c -g -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/checkedparameters/checkedparameters/checkedparameters.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/polyorb_hi-errors.ads gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/polyorb_hi-messages.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/polyorb_hi-port_kinds.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/polyorb_hi-port_type_marshallers.ads gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/polyorb_hi-protocols.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/polyorb_hi-streams.ads gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/polyorb_hi-thread_interrogators.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/polyorb_hi-time_marshallers.ads gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/polyorb_hi-utils.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/deploymentview_final/globalpartition_obj102/polyorb_hi_generated-marshallers.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/vt_checkedparameters_configure_wrappers.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/polyorb_hi-periodic_task.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/polyorb_hi-sporadic_task.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/ground_wrappers.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/reportedcheckstatetransitions_wrappers.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/thechecktransitionreport_wrappers.adb gcc-4.4 -c -g -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/thegenerator/thegenerator/thegenerator.adb gcc-4.4 -c -g -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/associatedcheckdefinitions/associatedcheckdefinitions/associatedcheckdefinitions.adb gcc-4.4 -c -g -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/associatedcheckstates/associatedcheckstates/associatedcheckstates.adb gcc-4.4 -c -g -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/missiondatabase/missiondatabase/missiondatabase.adb gcc-4.4 -c -g -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/parameterpool/parameterpool/parameterpool.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/polyorb_hi-output_low_level_native.adb gcc-4.4 -c -g -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/thechecker/thechecker/thechecker.adb gcc-4.4 -c -g -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/applicationprocess/applicationprocess/adaasn1rtl.adb gcc-4.4 -c -g -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/applicationprocess/applicationprocess/onboard_parameters.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/polyorb_hi-marshallers_g.adb gcc-4.4 -c -g -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/gnat.adc -gnatec=/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-ada/native.adc -gnatwa -gnat05 -g -O1 -gnata -gnato -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/deploymentview_final/globalpartition_obj102/polyorb_hi_generated-transport.adb gcc-4.4 -c -g -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/ground/ground/ground.adb gcc-4.4 -c -g -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/reportedcheckstatetransitions/reportedcheckstatetransitions/reportedcheckstatetransitions.adb gcc-4.4 -c -g -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/thechecktransitionreport/thechecktransitionreport/thechecktransitionreport.adb gcc-4.4 -c -g -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/applicationprocess/applicationprocess/onboard_monitoring.adb gcc-4.4 -c -g -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/applicationprocess/applicationprocess/onboard_monitoring_dataview.adb gcc-4.4 -c -g -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/applicationprocess/applicationprocess/standard_datatypes.adb gcc-4.4 -c -g -m32 -I- -gnatA /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/applicationprocess/applicationprocess/application_processes.adb gnatbind -r -T0 -I- -x /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/deploymentview_final/globalpartition_obj102/globalpartition_obj102.ali The following additional restrictions may be applied to this partition: pragma Restrictions (Simple_Barriers); pragma Restrictions (No_Abort_Statements); pragma Restrictions (No_Asynchronous_Control); pragma Restrictions (No_Calendar); pragma Restrictions (No_Dynamic_Attachment); pragma Restrictions (No_Dynamic_Priorities); pragma Restrictions (No_Entry_Calls_In_Elaboration_Code); pragma Restrictions (No_Entry_Queue); pragma Restrictions (No_Exception_Registration); pragma Restrictions (No_Initialize_Scalars); pragma Restrictions (No_Local_Timing_Events); pragma Restrictions (No_Local_Protected_Objects); pragma Restrictions (No_Nested_Finalization); pragma Restrictions (No_Protected_Type_Allocators); pragma Restrictions (No_Relative_Delay); pragma Restrictions (No_Requeue_Statements); pragma Restrictions (No_Select_Statements); pragma Restrictions (No_Specific_Termination_Handlers); pragma Restrictions (No_Stream_Optimizations); pragma Restrictions (No_Streams); pragma Restrictions (No_Task_Allocators); pragma Restrictions (No_Task_Attributes_Package); pragma Restrictions (No_Task_Hierarchy); pragma Restrictions (No_Task_Termination); pragma Restrictions (No_Terminate_Alternatives); pragma Restrictions (Immediate_Reclamation); pragma Restrictions (Max_Protected_Entries => 1); pragma Restrictions (Max_Select_Alternatives => 0); pragma Restrictions (Max_Task_Entries => 0); pragma Restrictions (Max_Tasks => 0); pragma Restrictions (Max_Asynchronous_Select_Nesting => 0); gnatlink /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/deploymentview_final/globalpartition_obj102/globalpartition_obj102.ali -g -g -m32 -lrt /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/auto-src_PLATFORM_LINUX32/PrintTypes.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/auto-src_PLATFORM_LINUX32/PrintTypesAsASN1.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/auto-src_PLATFORM_LINUX32/acn.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/auto-src_PLATFORM_LINUX32/asn1crt.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/auto-src_PLATFORM_LINUX32/ber.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/auto-src_PLATFORM_LINUX32/dataview-uniq.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/auto-src_PLATFORM_LINUX32/debug_messages.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/auto-src_PLATFORM_LINUX32/real.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/auto-src_PLATFORM_LINUX32/timeInMS.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/auto-src_PLATFORM_LINUX32/xer.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/thechecker/thechecker/invoke_ri.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/thechecker/thechecker/thechecker_vm_if.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/associatedcheckstates/associatedcheckstates/associatedcheckstates_vm_if.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/associatedcheckdefinitions/associatedcheckdefinitions/associatedcheckdefinitions.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/associatedcheckdefinitions/associatedcheckdefinitions/associatedcheckdefinitions_vm_if.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/associatedcheckdefinitions/associatedcheckdefinitions/associatedcheckstates.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/associatedcheckdefinitions/associatedcheckdefinitions/invoke_ri.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/thegenerator/thegenerator/invoke_ri.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/thegenerator/thegenerator/thegenerator_vm_if.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/thechecktransitionreport/thechecktransitionreport/thechecktransitionreport_vm_if.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/reportedcheckstatetransitions/reportedcheckstatetransitions/reportedcheckstatetransitions_vm_if.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/checkedparameters/checkedparameters/checkedparameters_vm_if.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/applicationprocess/applicationprocess/C_ASN1_Types.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/applicationprocess/applicationprocess/applicationprocess_vm_if.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/applicationprocess/applicationprocess/invoke_ri.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/parameterpool/parameterpool/parameterpool.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/parameterpool/parameterpool/parameterpool_vm_if.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/missiondatabase/missiondatabase/invoke_ri.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/missiondatabase/missiondatabase/missiondatabase_vm_if.o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/ground/ground/ground_vm_if.o -m32 -lm -o /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/deploymentview_final/globalpartition_obj102/globalpartition_obj102 /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/deploymentview_final/globalpartition_obj102/associatedcheckdefinitions.o:(.data+0x0): multiple definition of `associatedcheckdefinitions_E' /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/associatedcheckdefinitions/associatedcheckdefinitions/associatedcheckdefinitions.o:(.data+0x0): first defined here /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/deploymentview_final/globalpartition_obj102/associatedcheckdefinitions.o: In function `associatedcheckdefinitions_PI_GetDefinition': /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/associatedcheckdefinitions/associatedcheckdefinitions/associatedcheckdefinitions.adb:21: multiple definition of `associatedcheckdefinitions_PI_GetDefinition' /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/associatedcheckdefinitions/associatedcheckdefinitions/associatedcheckdefinitions.o:associatedcheckdefinitions.adb:(.text+0x0): first defined here /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/GlueAndBuild/deploymentview_final/globalpartition_obj102/associatedcheckstates.o:(.data+0x0): multiple definition of `associatedcheckstates_E' /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/associatedcheckdefinitions/associatedcheckdefinitions/associatedcheckstates.o:(.data+0x0): 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__TcheckstatemapBIP': /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/associatedcheckstates/associatedcheckstates/associatedcheckstates.adb:44: multiple definition of `associatedcheckstates__TcheckstatemapBIP' /home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/associatedcheckdefinitions/associatedcheckdefinitions/associatedcheckstates.o:associatedcheckstates.adb:(.text+0x0): 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_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...