diff --git a/tmltranslator/build.gradle b/tmltranslator/build.gradle index 6a800e4a0452b5b6db2cdf98c1d3e15bc35b0d8e..b94fe8837eedbe03ae115cf4f0020885cff09894 100644 --- a/tmltranslator/build.gradle +++ b/tmltranslator/build.gradle @@ -39,6 +39,9 @@ dependencies { compile name: 'jgrapht-ext-1.3.0' compile name: 'jgrapht-io-1.3.0' compile name: 'jgraphx-3.4.1.3' + + compile name: 'jfreechart-1.6.0' + } jar { diff --git a/tmltranslator/manifest.txt b/tmltranslator/manifest.txt index 9132cef3459f9c2c7a1472d29faa6a6278bc0a6c..5272137b39b173b650eba781323f47ba47aa71bd 100755 --- a/tmltranslator/manifest.txt +++ b/tmltranslator/manifest.txt @@ -1,2 +1,3 @@ Main-Class: TMLTranslator -Class-Path: com.microsoft.z3.jar commons-io-2.5.jar commons-math3-3.6.1.jar commons-codec-1.10.jar json-java.jar gs-core-2.0.jar gs-ui-swing--2.0.jar +Class-Path: com.microsoft.z3.jar commons-io-2.5.jar commons-math3-3.6.1.jar commons-codec-1.10.jar json-java.jar gs-core-2.0.jar gs-ui-swing--2.0.jar jfreechart-1.6.0.jar +