Skip to content

Commit

Permalink
* Add support for gnatmetric
Browse files Browse the repository at this point in the history
  • Loading branch information
yoogx committed Mar 21, 2018
1 parent 860dbda commit c18351e
Show file tree
Hide file tree
Showing 2 changed files with 9 additions and 0 deletions.
3 changes: 3 additions & 0 deletions Makefile.am
Original file line number Diff line number Diff line change
Expand Up @@ -45,6 +45,9 @@ examples::
gnatcheck::
@$(MAKE) -C projects gnatcheck

gnatmetric::
@$(MAKE) -C projects gnatmetric

check-local: install
@$(MAKE) test-suite
@$(MAKE) -C resources/runtime maybe-check-runtimes
Expand Down
6 changes: 6 additions & 0 deletions projects/Makefile.am
Original file line number Diff line number Diff line change
Expand Up @@ -107,6 +107,12 @@ gnatcheck: %-build:
-XABS_SRC_DIR="$(PL_DEP_ABS_SRC_DIR)" \
-XABS_BUILD_DIR="$(PL_DEP_ABS_BUILD_DIR)"

gnatmetric: %-build:
ADA_PROJECT_PATH=$(top_srcdir)/projects:$(ADA_PROJECT_PATH) \
gnat metric -Pocarina-main.gpr -U $(GNATFLAGS) \
-XABS_SRC_DIR="$(PL_DEP_ABS_SRC_DIR)" \
-XABS_BUILD_DIR="$(PL_DEP_ABS_BUILD_DIR)"

clean-local: $(BUILD_DIRS) $(CLEAN_STAMPS) clean-mknodes

# XXX creating/deleting ocarina-configuration.adb is to please
Expand Down

1 comment on commit c18351e

@yoogx
Copy link
Contributor Author

@yoogx yoogx commented on c18351e Mar 21, 2018

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

For issue #139

Please sign in to comment.