File: jgraphx_path.patch

package info (click to toggle)
jgrapht 1.5.2-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 15,536 kB
  • sloc: java: 133,723; xml: 1,878; sh: 134; javascript: 81; makefile: 6
file content (16 lines) | stat: -rw-r--r-- 532 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
Description: adding the path of jgraphx as it has no maven artifacts
Author: Pierre Gruet <pgt@debian.org>
Forwarded: not-needed
Last-Update: 2021-10-18

--- a/jgrapht-ext/pom.xml
+++ b/jgrapht-ext/pom.xml
@@ -52,6 +52,8 @@
         <dependency>
             <groupId>com.github.vlsi.mxgraph</groupId>
             <artifactId>jgraphx</artifactId>
+            <scope>system</scope>
+            <systemPath>/usr/share/java/jgraphx.jar</systemPath>
         </dependency>
         <dependency>
             <groupId>junit</groupId>