mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-19 03:06:39 +00:00
ada lib: prepare for creation of packages
This commit is contained in:
parent
5e8c53f61c
commit
ebdb3c4c32
12
repos/libports/lib/mk/ada.inc
Normal file
12
repos/libports/lib/mk/ada.inc
Normal file
@ -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
|
@ -1,13 +1,13 @@
|
|||||||
|
|
||||||
include $(REP_DIR)/lib/import/import-ada.mk
|
include $(REP_DIR)/lib/mk/ada.inc
|
||||||
ADALIB = $(ADA_RTS)/adalib
|
|
||||||
|
ADALIB = $(ADA_RTS)/adalib
|
||||||
ADAINCLUDE = $(ADA_RTS)/adainclude
|
ADAINCLUDE = $(ADA_RTS)/adainclude
|
||||||
|
|
||||||
PACKAGES = system s-stoele s-secsta a-except s-conca2 s-arit64
|
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))
|
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_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), $(ADA_RTS_SOURCE)))
|
||||||
SRC_ADB += $(foreach package, $(PACKAGES), $(body_exists, $(package), $(REP_DIR)/src/lib/ada/runtime))
|
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)
|
vpath %.ads $(REP_DIR)/src/lib/ada/runtime $(ADA_RTS_SOURCE)
|
||||||
|
|
||||||
SHARED_LIB = yes
|
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)
|
|
||||||
|
120
repos/libports/lib/symbols/ada
Normal file
120
repos/libports/lib/symbols/ada
Normal file
@ -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
|
Loading…
Reference in New Issue
Block a user