-
Notifications
You must be signed in to change notification settings - Fork 10
/
run-MINERfulSimplifier.sh
executable file
·36 lines (28 loc) · 1.07 KB
/
run-MINERfulSimplifier.sh
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
#!/bin/bash
# Author: Claudio Di Ciccio
# Date: 2016/01/11
# Description: This script launches the MinerFulSimplificationStarter, in order to simplify (i.e., remove redundancies, contradictions, etc.) a declarative process model, provided as input.
# Run this launcher with "-h" to understand the meaning of options you can pass.
# Installation: Please download the following files and directories from the MINERful GitHub Repository (https://github.com/cdc08x/MINERful):
# bin/
# lib/
# src/
# libs.cfg
## Exec-specific parametres
DEBUGLEVEL="none"
MEMORY_MAX="16G"
THRESHOLD=1.0
## Preliminary checks
if [ ! -f ./libs.cfg ]
then
echo "Please download the file named libs.cfg from the GitHub repository"
exit 1
fi
## Import the libraries and store it into $LIBS
. ./libs.cfg
## Clean up the screen
clear
## Runtime environment constants
MAINCLASS="minerful.MinerFulSimplificationStarter"
## Run!
java -Xmx$MEMORY_MAX -cp MINERful.jar:$LIBS $MAINCLASS $* # -d $DEBUGLEVEL -t $THRESHOLD