diff --git a/repos/libports/lib/mk/ada.inc b/repos/libports/lib/mk/ada.inc new file mode 100644 index 0000000000..68795bf351 --- /dev/null +++ b/repos/libports/lib/mk/ada.inc @@ -0,0 +1,12 @@ +include $(REP_DIR)/lib/import/import-ada.mk + +ADA_RTS_SOURCE = $(call select_from_ports,gcc)/src/noux-pkg/gcc/gcc/ada + +all: ada_source_path + +ada_source_path: ada_object_path + $(VERBOSE)echo $(ADA_RTS_SOURCE) > $(ADA_RTS)/ada_source_path + +ada_object_path: + $(VERBOSE)mkdir -p $(ADA_RTS) + $(VERBOSE)echo $(ADA_RTS) > $(ADA_RTS)/ada_object_path diff --git a/repos/libports/lib/mk/ada.mk b/repos/libports/lib/mk/ada.mk index ca66df0c38..9d0dfeb838 100644 --- a/repos/libports/lib/mk/ada.mk +++ b/repos/libports/lib/mk/ada.mk @@ -1,13 +1,13 @@ -include $(REP_DIR)/lib/import/import-ada.mk -ADALIB = $(ADA_RTS)/adalib +include $(REP_DIR)/lib/mk/ada.inc + +ADALIB = $(ADA_RTS)/adalib ADAINCLUDE = $(ADA_RTS)/adainclude PACKAGES = system s-stoele s-secsta a-except s-conca2 s-arit64 body_exists := $(filter $1.adb,$(shell if [ -e $2/$1.adb ]; then echo $1.adb; fi)) -ADA_RTS_SOURCE = $(call select_from_ports,gcc)/src/noux-pkg/gcc/gcc/ada SRC_ADS += $(foreach package, $(PACKAGES), $(package).ads) SRC_ADB += $(foreach package, $(PACKAGES), $(body_exists, $(package), $(ADA_RTS_SOURCE))) SRC_ADB += $(foreach package, $(PACKAGES), $(body_exists, $(package), $(REP_DIR)/src/lib/ada/runtime)) @@ -31,12 +31,3 @@ vpath %.adb $(REP_DIR)/src/lib/ada/runtime $(ADA_RTS_SOURCE) $(REP_DIR)/src/lib/ vpath %.ads $(REP_DIR)/src/lib/ada/runtime $(ADA_RTS_SOURCE) SHARED_LIB = yes - -all: ada_source_path ada_object_path - -ada_source_path: ada_object_path - $(VERBOSE)$(shell echo $(CONTRIB_DIR)/gcc-$(shell echo $(call _hash_of_port,gcc) | cut -d" " -f1)/src/noux-pkg/gcc/gcc/ada > $(ADA_RTS)/ada_source_path) - -ada_object_path: - $(VERBOSE)$(shell mkdir -p $(ADA_RTS)) - $(VERBOSE)$(shell echo $(ADA_RTS) > $(ADA_RTS)/ada_object_path) diff --git a/repos/libports/lib/symbols/ada b/repos/libports/lib/symbols/ada new file mode 100644 index 0000000000..4a77b3e207 --- /dev/null +++ b/repos/libports/lib/symbols/ada @@ -0,0 +1,120 @@ +__gnat_mulv64 T +__gnat_raise_exception T +__gnat_rcheck_CE_Discriminant_Check T +__gnat_rcheck_CE_Divide_By_Zero T +__gnat_rcheck_CE_Explicit_Raise T +__gnat_rcheck_CE_Index_Check T +__gnat_rcheck_CE_Invalid_Data T +__gnat_rcheck_CE_Length_Check T +__gnat_rcheck_CE_Overflow_Check T +__gnat_rcheck_CE_Range_Check T +__gnat_rcheck_PE_Explicit_Raise T +__gnat_rcheck_SE_Explicit_Raise T +ada__exceptions_E D 2 +ada__exceptions__exception_dataIP T +ada__exceptions__exception_occurrenceIP T +ada__exceptions__raise_exception T +ada__exceptions__reraise_occurrence_no_defer T +ada__exceptions__save_occurrence T +ada__exceptions__warn_not_implemented T +allocate_secondary_stack T +constraint_error T +get_thread T +memcmp T +raise_ada_exception T +ss_utils_E D 2 +ss_utils__TregistryBIP T +ss_utils___elabs T +ss_utils__allocate_stack T +ss_utils__c_alloc T +ss_utils__get_mark T +ss_utils__invalid_thread R 8 +ss_utils__markIP T +ss_utils__null_registry B 3072 +ss_utils__registry_entryIP T +ss_utils__s_allocate T +ss_utils__s_mark T +ss_utils__s_release T +ss_utils__secondary_stack_size R 8 +ss_utils__set_mark T +system__aamp R 1 +system__always_compatible_rep R 1 +system__arith_64__Oabs T +system__arith_64__Oadd T +system__arith_64__Oadd__2 T +system__arith_64__Oconcat T +system__arith_64__Odivide T +system__arith_64__Omultiply T +system__arith_64__Orem T +system__arith_64__add_with_ovflo_check T +system__arith_64__double_divide T +system__arith_64__hi T +system__arith_64__le3 T +system__arith_64__lo T +system__arith_64__raise_error T +system__arith_64__scaled_divide T +system__arith_64__sub3 T +system__arith_64__subtract_with_ovflo_check T +system__arith_64__to_neg_int T +system__arith_64__to_pos_int T +system__backend_divide_checks R 1 +system__backend_overflow_checks R 1 +system__bit_orderN R 4 +system__bit_orderS R 31 +system__command_line_args R 1 +system__concat_2_E D 2 +system__concat_2__str_concat_2 T +system__concat_2__str_concat_bounds_2 T +system__configurable_run_time R 1 +system__default_bit_order R 1 +system__default_priority R 4 +system__denorm R 1 +system__duration_32_bits R 1 +system__exception_table__register T +system__exit_status_supported R 1 +system__fractional_fixed_ops R 1 +system__front_end_zcx_support R 1 +system__frontend_exceptions R 1 +system__frontend_layout R 1 +system__functions_return_by_dsp R 1 +system__gcc_zcx_support R 1 +system__high_integrity_mode R 1 +system__long_shifts_inlined R 1 +system__machine_overflows R 1 +system__machine_rounds R 1 +system__max_interrupt_priority R 4 +system__max_priority R 4 +system__nameN R 2 +system__nameS R 16 +system__null_address R 8 +system__preallocated_stacks R 1 +system__secondary_stack_E D 2 +system__secondary_stack___elabs T +system__secondary_stack__mark_idIP T +system__secondary_stack__ss_allocate T +system__secondary_stack__ss_mark T +system__secondary_stack__ss_pool B 4 +system__secondary_stack__ss_release T +system__secondary_stack__thread_registry B 3072 +system__signed_zeros R 1 +system__soft_links__get_current_excep T +system__soft_links__get_gnat_exception T +system__soft_links__get_jmpbuf_address_soft T +system__soft_links__lock_task T +system__soft_links__set_jmpbuf_address_soft T +system__soft_links__unlock_task T +system__stack_check_default R 1 +system__stack_check_limits R 1 +system__stack_check_probes R 1 +system__storage_elements_E D 2 +system__storage_elements__storage_arrayIP T +system__support_64_bit_divides R 1 +system__support_aggregates R 1 +system__support_composite_assign R 1 +system__support_composite_compare R 1 +system__support_long_shifts R 1 +system__suppress_standard_library R 1 +system__system_name R 1 +system__use_ada_main_program_name R 1 +system__zcx_by_default R 1 +warn_unimplemented_function T