mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 15:02:25 +00:00
Create make dependencies using ali2dep
This commit is contained in:
parent
80a607ee0c
commit
3b41e02ea5
@ -84,11 +84,13 @@ CUSTOM_ADA_INCLUDE ?= -I- $(INCLUDES)
|
||||
|
||||
%.ali %.o: %.adb
|
||||
$(MSG_COMP)$@
|
||||
$(VERBOSE)$(CC) -c $(CUSTOM_ADA_FLAGS) $< $(CUSTOM_ADA_OPT) $(CUSTOM_ADA_INCLUDE)
|
||||
$(VERBOSE)$(CC) $(CUSTOM_ADA_FLAGS) $(CUSTOM_ADA_OPT) $(CUSTOM_ADA_INCLUDE) -c $<
|
||||
$(VERBOSE)$(ALI2DEP) $(ALL_INC_DIR) $*.ali
|
||||
|
||||
%.ali %.o: %.ads
|
||||
$(MSG_COMP)$@
|
||||
$(VERBOSE)$(CC) -c $(CUSTOM_ADA_FLAGS) $< $(CUSTOM_ADA_OPT) $(CUSTOM_ADA_INCLUDE)
|
||||
$(VERBOSE)$(CC) $(CUSTOM_ADA_FLAGS) $(CUSTOM_ADA_OPT) $(CUSTOM_ADA_INCLUDE) -c $<
|
||||
$(VERBOSE)$(ALI2DEP) $(ALL_INC_DIR) $*.ali
|
||||
|
||||
#
|
||||
# Compiling Rust sources
|
||||
|
@ -25,6 +25,7 @@ CUSTOM_STRIP ?= $(CROSS_DEV_PREFIX)strip
|
||||
CUSTOM_GNATBIND ?= $(CROSS_DEV_PREFIX)gnatbind
|
||||
CUSTOM_HOST_CC ?= gcc
|
||||
CUSTOM_ADA_CC ?= $(CUSTOM_CC)
|
||||
CUSTOM_ALI2DEP ?= echo " WARNING: ali2dep not used, get it from https://github.com/Componolit/ali2dep and make CUSTUM_ALI2DEP point to the binary." \#
|
||||
|
||||
#
|
||||
# GNU utilities
|
||||
@ -53,6 +54,7 @@ STRIP = $(CUSTOM_STRIP)
|
||||
GNATBIND = $(CUSTOM_GNATBIND)
|
||||
HOST_CC = $(CUSTOM_HOST_CC)
|
||||
ADA_CC = $(CUSTOM_ADA_CC)
|
||||
ALI2DEP = $(CUSTOM_ALI2DEP)
|
||||
|
||||
#
|
||||
# Compiler and Linker options
|
||||
|
Loading…
Reference in New Issue
Block a user