-
Notifications
You must be signed in to change notification settings - Fork 1
/
falsum
executable file
·76 lines (61 loc) · 1.81 KB
/
falsum
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
#!/bin/bash
################################################################################
# VARIABLES #
################################################################################
FILE=""
OUTPUT_FILE="out"
################################################################################
# FUNCTIONS #
################################################################################
function help {
echo "Falsum compiler"
echo "==============="
echo "Copyright (c) Falsum, 2017"
echo "Program needs 'stack' and 'clang' dependencies to successfully compile programs."
echo ""
echo "Usage: $1 [OPTIONS] <file>"
echo "Available options"
echo " -h displays help"
echo " -o <file> Write output to <file>"
}
################################################################################
# MAIN CODE #
################################################################################
if [ $# -eq 0 ]
then
echo "No arguments supplied"
echo ""
help $0
exit 1
fi
while [ "$1" != "" ]
do
case $1 in
-o) if [ ! $# -ge 2 ]
then
echo "Too few arguments provided for option '-o'."
exit 1
fi
OUTPUT_FILE=$2
shift
shift
;;
-h) help $0
exit 0
;;
*) FILE=$1
if [ ! -f "$FILE" ]
then
echo "File '$FILE' not found."
exit 1
fi
shift
;;
esac
done
if [ "$FILE" = "" ]
then
echo "No source file provided."
exit 1
fi
stack exec falsum -- -i "$FILE" 2> /dev/tty | clang -x ir -o "$OUTPUT_FILE" - -Wno-override-module