From a4c97c5eb4e6ef106db449d313f6a3c05b7ab769 Mon Sep 17 00:00:00 2001 From: "Haelwenn (lanodan) Monnier" Date: Tue, 20 Dec 2022 21:31:28 +0100 Subject: [PATCH gnulib] lib/javaversion.class: remove, build from source Alternative if javaversion.class is needed while javac is absent (I doubt so) could be keeping the javaversion.class blob by default but still providing build & clean recipes in the Makefiles. --- .gitignore | 1 + Makefile | 5 +++++ lib/Makefile | 9 ++++++++- lib/javaversion.class | Bin 510 -> 0 bytes 4 files changed, 14 insertions(+), 1 deletion(-) delete mode 100644 lib/javaversion.class diff --git a/.gitignore b/.gitignore index fae3b941a8..aeec48b6c6 100644 --- a/.gitignore +++ b/.gitignore @@ -3,6 +3,7 @@ *~ .#* \#*# +*.class allsnippets.tmp amsnippet.tmp testdir* diff --git a/Makefile b/Makefile index 0ffc677946..1de15d89e3 100644 --- a/Makefile +++ b/Makefile @@ -13,6 +13,11 @@ SHELL=bash # Produce some files that are not stored in the repository. all: + $(MAKE) -C lib + +.PHONY: clean +clean: + $(MAKE) -C lib clean # ============================================================================== # Documentation diff --git a/lib/Makefile b/lib/Makefile index 2e10203783..8b7c580dac 100644 --- a/lib/Makefile +++ b/lib/Makefile @@ -1,6 +1,13 @@ # Run "make check" to ensure that the code passes some simple tests, # usually (always?) not involving compilation. -all: +JAVAC ?= javac + +all: javaversion.class + $(JAVAC) -d . -target 1.1 javaversion.java check: ./t-idcache + +.PHONY: clean +clean: + rm -f javaversion.class diff --git a/lib/javaversion.class b/lib/javaversion.class deleted file mode 100644 index d62585b0ecd259dc3d661247c323788c927ff140..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 510 zcmZutO;5r=5Pi#6p;SSzh#(>tQ%$5l0OQ5P6HyWj7f(xF$r9RN#n}O8;*si zHlY4uri4$EgfTtXE1xoSdt_3PRl)rZDUO8dMd4ILYQb>oY#HZ2#8B2o+)XtGW2&_$ zv>1Dv&;TuDX#e^o!1NL*nsjSWW|Y(CZ(z? base-commit: ed162ab2ffae07a168437c6a65739c6419c5e3e1 -- 2.51.2