From 4c8f3611047a808030b9245c991fda409cb722cd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maty=C3=A1=C5=A1=20Kopp?= Date: Fri, 26 Jan 2024 15:38:53 +0100 Subject: [PATCH] add java memory and path setting #205 --- src/Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Makefile b/src/Makefile index 5fbf46e..723b687 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1,6 +1,6 @@ - - - +JAVA-MEMORY = +JM := $(shell test -n "$(JAVA-MEMORY)" && echo -n "-Xmx$(JAVA-MEMORY)g") +JAVA-PATH=/usr/share/java/ PWD=$(shell pwd) DATA-RELEASE=$(PWD)/data/release/ @@ -183,7 +183,7 @@ audio-release-meta-quarter-FILE: ################### -s = java $(JM) -jar /usr/share/java/saxon.jar +s = java $(JM) -jar $(JAVA-PATH)/saxon.jar j = java $(JM) -jar /usr/share/java/jing.jar pc = -I % $s -xi -xsl:$(PWD)/tools/copy.xsl % | $j schema/parla-clarin.rng vrt = $j schema/ParCzech-teiCorpus.rng # Corpus root / text