From c38378ad108c87c82c076603bdf4ddc2fb594cc3 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 18 Oct 2012 10:35:27 +0000 Subject: [PATCH] Makefile dist_bin target adds flags for javac to target Java 1.6. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5756 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/prism/Makefile b/prism/Makefile index 2d994847..57a65cc4 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -363,6 +363,7 @@ VERSION=# default value for VERSION is blank to force provision at command-line dist_src: dist_check_version dist_copy clean_all dist_tidy +dist_bin: JFLAGS += -source 1.6 -target 1.6 dist_bin: dist_check_version all binary dist_tidy dist_bin_copy dist_check_version: