We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent c8f537d commit 5858c95Copy full SHA for 5858c95
Makefile
@@ -17,6 +17,10 @@ MODELS = $(wildcard $(MANKAPPAMODELSREP)*.ka)
17
18
RESOURCES_HTML=$(wildcard gui/shared/*.js) $(wildcard gui/viz/*.js) $(wildcard gui/viz/*.css) gui/favicon.ico gui/package.json
19
20
+# `APP_EXT` defines where to fetch the js libs.
21
+# `local` is to download them from the dev website e.g. github and saving them locally.
22
+# `cdn` uses `cdnjs.cloudfare.com` to fetch the libs
23
+# `debian` and `deploy` are also available
24
APP_EXT?=cdn
25
INDEX_HTML=gui/use-$(APP_EXT).html
26
ifeq ($(APP_EXT),local)
0 commit comments