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
|
From 2767d05851ab9189e507cf3e8789c92c35986d04 Mon Sep 17 00:00:00 2001
From: Michael Fletcher <zidj@geocities.com>
Date: Sat, 18 Jan 2014 16:21:14 +0000
Subject: Add a wrapper script
Author: Charles Briscoe-Smith <cpbs@debian.org>
Author: Colin Watson <cjwatson@debian.org>
Forwarded: no
Last-Update: 2014-01-18
Patch-Name: wrapper.patch
---
jlex | 15 +++++++++++++++
1 file changed, 15 insertions(+)
create mode 100644 jlex
diff --git a/jlex b/jlex
new file mode 100644
index 0000000..3524d72
--- /dev/null
+++ b/jlex
@@ -0,0 +1,15 @@
+#! /bin/sh -e
+
+# Check if JLex will work at all
+if test -e /usr/share/java/JLex.jar; then
+
+ # Set up classpath
+ CLASSPATH="/usr/share/java/JLex.jar:$CLASSPATH"
+ export CLASSPATH
+
+ exec java JLex.Main "$@"
+
+else
+ echo "JLex is not installed"
+ exit 5
+fi
|
