summaryrefslogtreecommitdiff
path: root/gemini
diff options
context:
space:
mode:
authorJoe Carstairs <me@joeac.net>2026-07-03 10:27:30 +0100
committerJoe Carstairs <me@joeac.net>2026-07-03 10:28:13 +0100
commit17c7e2446cfc5b02df4cc437a84d13e9e05b8132 (patch)
tree5963b12c02ef3bd499be8f375207c5217e4066a1 /gemini
parent33d13bb455505b579cabfadbf2a59a156f3e0c46 (diff)
pulls out GEMINI_CERTIFICATES_DIR and GEMINI_COMITIUM_DATA_DIR
Diffstat (limited to 'gemini')
-rw-r--r--gemini/install.mk20
1 files changed, 20 insertions, 0 deletions
diff --git a/gemini/install.mk b/gemini/install.mk
new file mode 100644
index 0000000..50c8828
--- /dev/null
+++ b/gemini/install.mk
@@ -0,0 +1,20 @@
+GEMINI_COMITIUM_DATA_FILES := $(addprefix $(GEMINI_COMITIUM_DATA_DIR)/,$(notdir $(wildcard comitium-data/*)))
+
+.PHONY: install
+install: $(GEMINI_CERTIFICATES_DIR) $(GEMINI_COMITIUM_DATA_FILES)
+
+.PHONY: reinstall
+reinstall: $(GEMINI_CERTIFICATES_DIR) $(GEMINI_COMITIUM_DATA_FILES)
+
+$(GEMINI_CERTIFICATES_DIR):
+ sudo mkdir -p $(GEMINI_CERTIFICATES_DIR)
+
+$(GEMINI_COMITIUM_DATA_DIR)/%: comitium-data/% $(GEMINI_COMITIUM_DATA_DIR)
+ sudo cp $< $@
+
+$(GEMINI_COMITIUM_DATA_DIR):
+ sudo mkdir -p $(GEMINI_COMITIUM_DATA_DIR)
+
+.PHONY: uninstall
+uninstall:
+ sudo rm -rf $(GEMINI_COMITIUM_DATA_DIR)