Package: gradle-jflex-plugin / 0.0.2-4

jflex-cup_runtime.patch Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
From: Markus Koschany <apo@debian.org>
Date: Mon, 1 Oct 2018 14:48:25 +0200
Subject: jflex cup_runtime

Forwarded: no
---
 build.gradle | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/build.gradle b/build.gradle
index 52dd9b5..7c23fcc 100644
--- a/build.gradle
+++ b/build.gradle
@@ -6,8 +6,8 @@ apply plugin: 'maven'
 //apply plugin: 'nexus'
 //apply plugin: 'release'
 
-sourceCompatibility = 1.6
-targetCompatibility = 1.6
+sourceCompatibility = 1.7
+targetCompatibility = 1.7
 
 buildscript {
   repositories {
@@ -22,7 +22,7 @@ buildscript {
 }
 
 ext {
-  jflexVersion = '1.6.0'
+  jflexVersion = '1.7.0'
 }
 
 repositories {
@@ -33,6 +33,7 @@ repositories {
 dependencies {
   compile gradleApi()
   compile "de.jflex:jflex:${jflexVersion}"
+  compile "de.jflex:cup_runtime:0.11b"
   testCompile 'junit:junit:4.11'
 }