Add source build option to makefile

martinpaljak · Oct 16, 2024 · a2dca1b · a2dca1b
1 parent efc4711
commit a2dca1b
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -10,6 +10,14 @@ default: tool/target/gp.jar
 tool/target/gp.jar: $(SOURCES)
 	./mvnw $(MVN_OPTS) package
 
+srcbuild:
+	# override the version, which would be "unsupported" without a git checkout
+ifdef GPPRO_VERSION
+	mkdir -p ./library/target/classes/pro/javacard/gp
+	echo "git.commit.id.describe=$(GPPRO_VERSION)" > ./library/target/classes/pro/javacard/gp/git.properties
+endif
+	./mvnw $(MVN_OPTS) -Dmaven.gitcommitid.skip=true package
+
 dep: $(SOURCES)
 	./mvnw $(MVN_OPTS) install