File: manifest.patch

package info (click to toggle)
cup 0.11b-20160615-3
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 716 kB
  • sloc: java: 5,014; xml: 212; makefile: 15; sh: 3
file content (22 lines) | stat: -rw-r--r-- 766 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
From: Markus Koschany <apo@debian.org>
Date: Mon, 1 Oct 2018 14:26:11 +0200
Subject: manifest

Fix compatibility with Debian's cup version and use 0.11b version.
---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 3a74762..b513fa9 100644
--- a/build.xml
+++ b/build.xml
@@ -70,7 +70,7 @@
    <jar jarfile="${dist}/java-cup-11b.jar" basedir="${classes}">
       <manifest>
         <attribute name="Main-Class" value="java_cup/Main" />
-	<attribute name="Class-Path" value="java-cup-11b-runtime.jar" />
+	<attribute name="Class-Path" value="java-cup-0.11b-runtime.jar" />
       </manifest>
     </jar>
     <jar jarfile="${dist}/java-cup-11b-runtime.jar" basedir="${classes}" includes="java_cup/runtime/*">