-
Notifications
You must be signed in to change notification settings - Fork 0
/
build.gradle
130 lines (102 loc) · 2.98 KB
/
build.gradle
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
import java.text.SimpleDateFormat
plugins {
// Apply the java plugin to add support for Java
id 'java'
// Apply the application plugin to add support for building a CLI application.
id 'application'
id 'distribution'
}
apply plugin: 'eclipse'
repositories {
mavenLocal()
ivy {
name 'ivyPromReleases'
patternLayout{
artifact '[organisation]/Releases/Packages/[module]/[revision]/[artifact]-[revision].[ext]'
ivy '[organisation]/Releases/Packages/[module]/[revision]/ivy.xml'
}
url = uri('https://svn.win.tue.nl/repos')
content {
includeGroup "prom"
}
}
ivy {
name 'ivyPromLibraries'
patternLayout{
artifact '[module]/[revision]/[artifact]-[revision].[ext]'
ivy '[module]/[revision]/ivy.xml'
}
url = uri('https://svn.win.tue.nl/repos/prom/Libraries')
}
mavenCentral()
}
dependencies {
implementation 'prom:EarthMoversStochasticConformanceChecking:latest'
implementation 'prom:StochasticAwareConformanceChecking:latest'
implementation 'prom:StochasticWeightEstimation:latest'
// This dependency is used by the application.
implementation 'qut.pm:prom-helpers:0.8.6'
implementation 'org.simpleframework:simple-xml:2.7.1'
// Use JUnit test framework
testImplementation 'junit:junit:4.13'
}
application {
// Define the main class for the application.
mainClassName = 'qut.pm.toothpaste.ModelRunner'
}
jar {
doFirst {
manifest.attributes(
'Class-Path':
configurations.runtimeClasspath.files.collect { "$it.name" }.join(' '),
'Main-Class': 'qut.pm.toothpaste.ModelRunner'
)
}
delete 'buildid.txt'
outputs.file('buildid.txt')
inputs.property('version', project.version)
doLast {
project.file('buildid.txt') << project.version
project.file('buildid.txt') << new SimpleDateFormat(" dd-MM-yyyy HH:mm:ss").format(new Date())
}
}
group = 'qut.pm'
version = '0.9.3.1'
description = 'toothpaste'
sourceCompatibility = '1.8'
clean{
mkdir "var"
}
task(pnmlToDot, dependsOn: 'classes', type: JavaExec) {
main 'qut.pm.prom.helpers.PetriNetConverter'
classpath sourceSets.main.runtimeClasspath
jvmArgs '-Dlog4j.configurationFile=config/static/log4j2.xml'
}
task(copyTask, dependsOn: 'classes', type: JavaExec) {
main 'qut.pm.spm.results.CopyTask'
classpath sourceSets.main.runtimeClasspath
}
task(addNote, dependsOn: 'classes', type: JavaExec) {
main 'qut.pm.spm.results.AddNote'
classpath sourceSets.main.runtimeClasspath
}
applicationDistribution.from('config') {
into "config"
}
applicationDistribution.from('scripts') {
into "scripts"
}
applicationDistribution.from('ldlib') {
into "ldlib"
}
applicationDistribution.from('hbin') {
into "bin"
}
distributions {
main {
distributionBaseName = 'toothpaste'
contents {
from 'buildid.txt'
}
}
}