2012-07-14 07:27:33 +00:00
|
|
|
|
2012-07-14 17:54:38 +00:00
|
|
|
MAPS=
|
|
|
|
|
MAPS+=$(wildcard ../maps/trampoline*.map)
|
|
|
|
|
MAPS+=$(wildcard ../maps/flood*.map)
|
2012-07-14 09:28:34 +00:00
|
|
|
MAPS+=$(wildcard ../maps/contest?.map ../maps/contest10.map)
|
|
|
|
|
MAPS+=$(wildcard ../maps/ems*.map)
|
|
|
|
|
MAPS+=../maps/pacman.map ../maps/pacman2.map
|
2012-07-14 07:27:33 +00:00
|
|
|
|
|
|
|
|
all: maps.js
|
|
|
|
|
|
|
|
|
|
maps.js: mapsToJson.js $(MAPS)
|
|
|
|
|
./mapsToJson.js $(MAPS) > maps.js
|
2012-07-14 09:28:34 +00:00
|
|
|
|
|
|
|
|
clean:
|
|
|
|
|
rm -f maps.js
|
|
|
|
|
|
|
|
|
|
.PHONY: all clean
|
|
|
|
|
|
|
|
|
|
# just build it everytime
|
|
|
|
|
.PHONY: maps.js
|
