include ../Makefile.vars SRC_ADS = framework.ads\ initialize_framework.ads\ objects.ads\ objects-extended.ads\ deployments.ads\ deployments-extended.ads\ deployment_set.ads\ sections.ads\ section_set.ads\ debug.ads\ offsets.ads\ offsets-extended.ads\ parameters.ads\ parameters-extended.ads\ tasks.ads\ tasks-extended.ads\ task_set.ads\ resources.ads\ resource_set.ads\ buffers.ads\ buffers-extended.ads\ buffer_set.ads\ messages.ads\ message_set.ads\ scheduling_analysis.ads\ scheduling_analysis-extended.ads\ dependencies.ads\ task_dependencies.ads\ dependency_services.ads\ scheduler_interface.ads\ scheduler.ads\ scheduler-nothing.ads\ scheduler-user_defined.ads\ scheduler-user_defined-generated.ads\ scheduler-user_defined-generated-compiled.ads\ scheduler-user_defined-interpreted.ads\ scheduler-user_defined-interpreted-automata.ads\ scheduler-user_defined-interpreted-pipeline.ads\ scheduler-round_robin.ads\ scheduler-time_sharing_based_on_cpu_usage.ads\ scheduler-time_sharing_based_on_wait_time.ads\ scheduler-dynamic_priority.ads\ scheduler-dynamic_priority-edf.ads\ scheduler-dynamic_priority-llf.ads\ scheduler-dynamic_priority-muf.ads\ scheduler-dynamic_priority-muf-deadline_based.ads\ scheduler-dynamic_priority-muf-laxity_based.ads\ scheduler-dynamic_priority-d_over.ads\ scheduler-fixed_priority.ads\ scheduler-fixed_priority-hpf.ads\ scheduler-fixed_priority-dm.ads\ scheduler-fixed_priority-rm.ads\ scheduler-fixed_priority-aperiodic_server.ads\ scheduler-fixed_priority-aperiodic_server-polling.ads\ scheduler-hierarchical.ads\ scheduler-hierarchical-cyclic.ads\ scheduler-hierarchical-offline.ads\ scheduler-hierarchical-round_robin.ads\ scheduler-multiprocessor_specific.ads\ scheduler-multiprocessor_specific-pfair.ads\ scheduler-multiprocessor_specific-pfair-pf.ads\ processor_interface.ads\ caches.ads\ processors.ads\ processors-extended.ads\ processor_set.ads\ address_spaces.ads\ address_spaces-extended.ads\ address_space_set.ads\ networks.ads\ network_set.ads\ multiprocessor_services_interface.ads\ multiprocessor_services.ads\ partitioning_services.ads\ systems.ads\ event_analyzer_set.ads\ event_analyzers.ads\ event_analyzers-extended.ads\ call_framework_interface.ads\ call_random_framework.ads\ call_resource_framework.ads\ call_memory_framework.ads\ call_scheduling_framework.ads\ call_dependency_framework.ads\ call_framework.ads\ aadl_parser_interface.ads\ aadl_parsers.ads\ xml_architecture_parser_interface.ads\ xml_generic_parsers.ads\ xml_architecture_io.ads\ xml_generic_parsers-architecture.ads\ xml_generic_parsers-event_table.ads\ xml_tag.ads\ time_unit_events.ads\ time_unit_events-extended.ads SRC_ADB = framework.adb\ initialize_framework.adb\ objects.adb\ objects-extended.adb\ deployments.adb\ deployments-extended.adb\ deployment_set.adb\ sections.adb\ section_set.adb\ debug.adb\ offsets.adb\ parameters.adb\ tasks.adb\ tasks-extended.adb\ task_set.adb\ resources.adb\ resource_set.adb\ buffers.adb\ buffers-extended.adb\ buffer_set.adb\ messages.adb\ message_set.adb\ scheduling_analysis.adb\ scheduling_analysis-extended.adb\ dependencies.adb\ task_dependencies.adb\ dependency_services.adb\ scheduler_interface.adb\ scheduler.adb\ scheduler-nothing.adb\ scheduler-user_defined.adb\ scheduler-user_defined-generated.adb\ scheduler-user_defined-generated-compiled.adb\ scheduler-user_defined-interpreted.adb\ scheduler-user_defined-interpreted-automata.adb\ scheduler-user_defined-interpreted-pipeline.adb\ scheduler-round_robin.adb\ scheduler-time_sharing_based_on_cpu_usage.adb\ scheduler-time_sharing_based_on_wait_time.adb\ scheduler-dynamic_priority.adb\ scheduler-dynamic_priority-edf.adb\ scheduler-dynamic_priority-llf.adb\ scheduler-dynamic_priority-muf.adb\ scheduler-dynamic_priority-muf-deadline_based.adb\ scheduler-dynamic_priority-muf-laxity_based.adb\ scheduler-dynamic_priority-d_over.adb\ scheduler-fixed_priority.adb\ scheduler-fixed_priority-hpf.adb\ scheduler-fixed_priority-dm.adb\ scheduler-fixed_priority-rm.adb\ scheduler-fixed_priority-aperiodic_server.adb\ scheduler-fixed_priority-aperiodic_server-polling.adb\ scheduler-hierarchical.adb\ scheduler-hierarchical-cyclic.adb\ scheduler-hierarchical-offline.adb\ scheduler-hierarchical-round_robin.adb\ scheduler-multiprocessor_specific.adb\ scheduler-multiprocessor_specific-pfair.adb\ scheduler-multiprocessor_specific-pfair-pf.adb\ processor_interface.adb\ caches.adb\ processors.adb\ processors-extended.adb\ processor_set.adb\ address_spaces.adb\ address_spaces-extended.adb\ address_space_set.adb\ networks.adb\ network_set.adb\ multiprocessor_services_interface.adb\ multiprocessor_services.adb\ partitioning_services.adb\ systems.adb\ event_analyzer_set.adb\ event_analyzers.adb\ event_analyzers-extended.adb\ call_framework_interface.adb\ call_random_framework.adb\ call_resource_framework.adb\ call_memory_framework.adb\ call_scheduling_framework.adb\ call_dependency_framework.adb\ call_framework.adb\ aadl_parser_interface.adb\ aadl_parsers.adb\ xml_architecture_parser_interface.adb\ xml_generic_parsers.adb\ xml_architecture_io.adb\ xml_generic_parsers-architecture.adb\ xml_generic_parsers-event_table.adb\ xml_tag.adb\ time_unit_events.adb\ time_unit_events-extended.adb all:: target6 target4 target3 target2 target1 target1: $(SRC_ADB:.adb=.o) $(SRC_ADS:.ads=.o) target2: $(MAKE) -C parametric target3: $(MAKE) -C random target4: $(MAKE) -C queueing_system target5: $(MAKE) -C design_pattern_analyzer target6: $(MAKE) -C cache_system call_ada: target1 $(GNATMAKE) $(ADAC_INCLUDE) call_ada $(ADAC_LIB) call_c: target1 gnatbind -n $(ADAC_INCLUDE) c_interface gcc $(ADAC_INCLUDE) -c b~c_interface.adb gcc -g -O0 -c call_c.c gnatlink -o call_c call_c.o c_interface.ali clean:: $(MAKE) -C parametric clean $(MAKE) -C random clean $(MAKE) -C queueing_system clean $(MAKE) -C design_pattern_analyzer clean $(MAKE) -C cache_system clean prettyprint:: $(MAKE) -C parametric prettyprint $(MAKE) -C random prettyprint $(MAKE) -C queueing_system prettyprint $(MAKE) -C design_pattern_analyzer prettyprint $(MAKE) -C cache_system prettyprint @for file in ${SRC_ADS} ${SRC_ADB}; do \ echo $(PRETTY_PRINTER) $${file}; \ $(PRETTY_PRINTER) $${file}; \ done