projects
/
hacks
/
unrof.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Initial commit.
[hacks/unrof.git]
/
Makefile
1
CDUCE=~/Documents/Research/Code/cduce/cduce
2
3
4
all: unrof.cdo
5
6
clean:
7
@echo [Clean]
8
@rm -rf *.cdo
9
10
unrof.cdo: xhtml.cdo
11
12
%.cdo: %.cd
13
@echo [Building $@]
14
@$(CDUCE) --compile $<
15