meta/Makefile at main · DistRap/meta · 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
PHONY: format repolist http-cloner deleter dirty-checker updater

format:
	find . -name '*.dhall' -exec dhall format {} \;

repolist:
	echo '(./dhall-proj/render.dhall).Project.renderRepoList ./distrap.dhall' \
		| dhall text > repolist.txt

todolist:
	echo '(./dhall-proj/render.dhall).Project.renderTODOList ./distrap.dhall' \
		| dhall text > TODO.org

cloner:
	echo '(./dhall-proj/render.dhall).Project.renderCloner ./distrap.dhall' \
		| dhall text > cloner.sh
	chmod +x cloner.sh

deleter:
	echo '(./dhall-proj/render.dhall).Project.renderDeleter ./distrap.dhall' \
		| dhall text > deleter.sh
	chmod +x deleter.sh

dirty-checker:
	echo '(./dhall-proj/render.dhall).Project.renderDirtyChecker ./distrap.dhall' \
		| dhall text > dirty-checker.sh
	chmod +x dirty-checker.sh

updater:
	echo '(./dhall-proj/render.dhall).Project.renderUpdater ./distrap.dhall' \
		| dhall text > updater.sh
	chmod +x updater.sh

http-cloner:
	echo '(./dhall-proj/render.dhall).Project.renderHTTPCloner ./distrap.dhall' \
		| dhall text > http-cloner.sh
	chmod +x http-cloner.sh