-
Notifications
You must be signed in to change notification settings - Fork 0
/
run.sh
executable file
·48 lines (34 loc) · 1.22 KB
/
run.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
37
38
39
40
41
42
43
44
45
46
47
48
#!/bin/bash
SHAPES_RS_DIR="./shapes-rs" # Set the path to the shapes-rs directory
RDF4J_DIR="./rdf4j" # Set the path to the rdf4j directory
JENA_DIR="./jena" # Set the path to the jena directory
TOPQUADRANT_DIR="./topquadrant" # Set the path to the top-quadrant directory
# Check if the script and directory exist
if [ -d "$SHAPES_RS_DIR" ] && [ -d "$RDF4J_DIR" ] && [ -d "$JENA_DIR" ] && [ -d "$TOPQUADRANT_DIR" ]; then
# Enter the shapes-rs directory
cd "$SHAPES_RS_DIR" || exit
# Execute the run.sh script with the parameter
sh run.sh 1
# Return to the original directory
cd .. || exit
# Enter the rdf4j directory
cd "$RDF4J_DIR" || exit
# Execute the run.sh script with the parameter
sh run.sh
# Return to the original directory
cd .. || exit
# Enter the jena directory
cd "$JENA_DIR" || exit
# Execute the run.sh script with the parameter
sh run.sh
# Return to the original directory
cd .. || exit
# Enter the top-quadrant directory
cd "$TOPQUADRANT_DIR" || exit
# Execute the run.sh script with the parameter
sh run.sh
# Return to the original directory
cd .. || exit
else
echo "Error: benchmark directories do not exist."
fi