-
julien.delange authored
ocarina/src/backends/ocarina-backends-properties.ads - Handle linux32 and linux64 platforms * ocarina/src/backends/ocarina-backends-po_hi_c.adb - Use the Linux32 and linux64 property values for generation of Makefiles * ocarina/resources/deployment.aadl - Add Linux32 and Linux64 values * ocarina/resources/AADLv2/components/processors/x86.aadl - Define processors for linux32 and linux64 targets. git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1607 129961e7-ef38-4bb5-a8f7-c9a525a55882
b3c69d74