genode/repos/libports/lib/mk/spark.inc
Martin Stein f3eaeb08ef ada/spark: all warnings, warn strict, style checks
* enable all common warnings through default value of CC_ADA_WARN
* treat warnings like errors through default value of CC_ADA_WARN_STRICT
* enable almost all style checks through default value of CC_ADA_WARN_STRICT
* style fixes for aes_cbc_4k
* disable strict warnings and style checks for libsparkcrypto and spark lib

Ref #3848
2020-08-25 11:50:09 +02:00

14 lines
359 B
PHP

include $(REP_DIR)/lib/import/import-spark.mk
all: ada_source_path
ada_source_path: ada_object_path
$(VERBOSE)echo $(ADA_RTS_SOURCE) > $(ADA_RTS)/ada_source_path
$(VERBOSE)echo $(ADA_RUNTIME_DIR) >> $(ADA_RTS)/ada_source_path
ada_object_path:
$(VERBOSE)mkdir -p $(ADA_RTS)
$(VERBOSE)echo $(ADA_RTS) > $(ADA_RTS)/ada_object_path
CC_ADA_WARN_STRICT =