⬢ DragonFlyBSD Kernel Audit
DF-0243 / build.sh
← back to finding ↓ download raw 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
#!/bin/sh
# DF-0243 build: compile the triggers and the arithmetic proof, create scripts.
set -e
cd "$(dirname "$0")"

echo "=== building trigger ==="
cc -O2 -Wall -o trigger trigger.c
echo "trigger: $(ls -l trigger | awk '{print $5}') bytes"

echo "=== building trigger2 (large-environment bcopy stress) ==="
cc -O2 -Wall -o trigger2 trigger2.c
echo "trigger2: $(ls -l trigger2 | awk '{print $5}') bytes"

echo "=== building math_proof ==="
cc -O2 -Wall -o math_proof math_proof.c
echo "math_proof: $(ls -l math_proof | awk '{print $5}') bytes"

echo "=== setup: create the #!/bin/sh scripts ==="
sh setup.sh
sh setup2.sh
echo "BUILD_OK"