electronSourceController2/Makefile at master · tspspi/electronSourceController2 · GitHub

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
CPUFREQ=16000000L
FLASHDEV=/dev/ttyU0
FLASHBAUD=115200
FLASHMETHOD=wiring

SRCFILES=src/controller.c \
	src/serial.c \
	src/sysclock.c \
	src/adc.c \
	src/psu.c \
	src/pwmout.c \
	src/cfgeeprom.c
HEADFILES=src/controller.h \
	src/serial.h \
	src/sysclock.h \
	src/adc.h \
	src/psu.h \
	src/pwmout.h \
	src/cfgeeprom.h

all: bin/controller.hex

bin/controller.bin: $(SRCFILES) $(HEADFILES)

	avr-gcc -Wall -Os -mmcu=atmega2560 -DF_CPU=$(CPUFREQ) -o bin/controller.bin $(SRCFILES)

bin/controller.hex: bin/controller.bin

	avr-size -t bin/controller.bin
	avr-objcopy -j .text -j .data -O ihex bin/controller.bin bin/controller.hex

flash: bin/controller.hex

	sudo chmod 666 $(FLASHDEV)
	avrdude -v -p atmega2560 -c $(FLASHMETHOD) -P $(FLASHDEV) -b $(FLASHBAUD) -D -U flash:w:bin/controller.hex:i

framac: $(SRCFILES)

	-rm framacreport.csv
	frama-c -wp-verbose 0 -wp -rte -wp-rte -wp-dynamic -wp-timeout 300 -cpp-extra-args="-I/usr/home/tsp/framaclib/ -DF_CPU=16000000L -D__AVR_ATmega2560__ -DFRAMAC_SKIP" $(SRCFILES) -then -no-unicode -report -report-csv framacreport.csv

clean:

	-rm *.bin
	-rm bin/*.bin

cleanall: clean

	-rm *.hex
	-rm bin/*.hex

.PHONY: all clean cleanall flash framac