Newer
Older
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
FILE=led
NODE=arduino_puzzle
$(FILE)_$(NODE)_loop:
mkdir $(FILE)_$(NODE)_loop
v6: led.lus $(FILE)_$(NODE)_loop
lus2lic -2c $(FILE).lus -n $(NODE)
mv *.h $(FILE)_$(NODE)_loop/
mv $(FILE)_$(NODE).c $(FILE)_$(NODE)_loop/$(FILE)_$(NODE).cpp
%.simu:
cp lustre/arduino_$*.lus arduino_puzzle.lus
luciole-rif lus2lic -exec -rif led.lus -n $* &
%.arduino:
cp lustre/arduino_$*.lus arduino_puzzle.lus
make v6
%.no_sol:
cp lustre/arduino_$*.lus arduino_puzzle.lus
lus2lic -ec -o no_sol.ec led.lus -n $*_has_no_solution
ecverif no_sol.ec -diag > $*.diag ; echo >> $*.diag || echo "$*: il existe une solution ! La voici:" \
echo "$*: ce puzzle est insoluble"
cat $*.diag | sed 's/true//' | sed 's/not\ red//' | sed 's/not\ red\ or//' | sed 's/not\ blue\ or//' | sed 's/not\ blue//' | sed 's/\ and\ //'
%.test:
cp lustre/arduino_$*.lus arduino_puzzle.lus
rdbg -lurette -l 1000 -sut "lus2lic led.lus -n $*" -env "lutin env.lut -n random_env" -oracle "lus2lic led.lus -n $*_has_no_solution" -o $*.rif || echo "Ce puzzle a une solution !"
gnuplot-rif $*.rif -no-display
gnuplot -e 'set terminal qt size 1800,400' $*.gp
%.debug:
rdbg -emacs -sut "lus2lic led.lus -n $*"
clean:
rm -f *.c *.h *.ec *.sh *.rif *ession*.ml *.gp *.log *.dro *.seed *.diag
rm -f *.ps *.pdf *.dot *.cm* *.o arduino_puzzle.lus
rm -f led_arduino_puzzle_loop/led_arduino_puzzle.cpp
rm -f led_arduino_puzzle_loop/*.h
rm -f my-rdbg-tuning.ml
a1: puzzle1.arduino
s1: puzzle1.simu
p1: puzzle1.no_sol
t1: puzzle1.test
a2: puzzle2.arduino
s2: puzzle2.simu
p2: puzzle2.no_sol
t2: puzzle2.test
a3: puzzle3.arduino
s3: puzzle3.simu
p3: puzzle3.no_sol
t3: puzzle3.test
a4: puzzle4.arduino
s4: puzzle4.simu
p4: puzzle4.no_sol
t4: puzzle4.test
a5: puzzle5.arduino
s5: puzzle5.simu
p5: puzzle5.no_sol
t5: puzzle5.test
a6: puzzle6.arduino
s6: puzzle6.simu
p6: puzzle6.no_sol
t6: puzzle6.test