From b02abe82d9ad22d6b84892d96064d7b4122233da Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 23 Aug 2016 07:54:59 +0000 Subject: [PATCH] Assume Java 8 now when building distributions. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11677 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/Makefile b/prism/Makefile index 4a852386..9a045282 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -438,7 +438,7 @@ add_rev: dist_src: dist_check_version dist_copy clean_all dist_tidy -dist_bin: JFLAGS += -source 1.7 -target 1.7 +dist_bin: JFLAGS += -source 1.8 -target 1.8 dist_bin: dist_check_version all binary dist_tidy dist_bin_copy dist_check_version: