Skip to content
Snippets Groups Projects
Commit 1f86dd4f authored by Michele Alberti's avatar Michele Alberti
Browse files

[Ivette] Add Makefile targets for typechecking and linting.

parent eb439091
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 9 additions and 1 deletion
ivette/Makefile
+ 9
− 1
View file @ 1f86dd4f
...@@ -8,13 +8,21 @@ DOME_API=./src/frama-c ...@@ -8,13 +8,21 @@ DOME_API=./src/frama-c
COPYRIGHT=CEA LIST / LSL COPYRIGHT=CEA LIST / LSL
# -------------------------------------------------------------------------- # --------------------------------------------------------------------------
.PHONY: app dev doc dist .PHONY: app dev doc dist typecheck lint
app: dome-app app: dome-app
dev: dome-dev dev: dome-dev
doc: dome-doc doc: dome-doc
dist: dome-dist dist: dome-dist
typecheck:
@echo "[Ivette] running ts typechecker"
yarn run typecheck
lint:
@echo "[Ivette] running ts linter"
yarn run lint
# -------------------------------------------------------------------------- # --------------------------------------------------------------------------
# --- Ivette Plugins # --- Ivette Plugins
# -------------------------------------------------------------------------- # --------------------------------------------------------------------------
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment