X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=makefile;h=1a585c0d9b6cf308ca68432d02c434b872b86a14;hb=e9a5b05495cc1b468ae72ef3ae1bd06bfded26f2;hp=608606c6ffcf7f7c7c3a7445f24231c5cd288d18;hpb=77bff3e2abda103471ab881bad81db67003582ff;p=dead%2Fhtsn-import.git diff --git a/makefile b/makefile index 608606c..1a585c0 100644 --- a/makefile +++ b/makefile @@ -9,7 +9,9 @@ $(BIN): $(PN).cabal $(SRCS) runghc Setup.hs build profile: $(PN).cabal $(SRCS) - runghc Setup.hs configure --user --enable-executable-profiling --prefix=/ + runghc Setup.hs configure --user \ + --enable-executable-profiling \ + --prefix=/ runghc Setup.hs build doc: $(PN).cabal $(SRCS) @@ -50,8 +52,11 @@ clean: runghc Setup.hs clean rm -f *.log rm -f *.xml + rm *.prof rm -rf tmp rm -f schemagen/*.dtd + find ./ -name '*.o' -delete + find ./ -name '*.hi' -delete # @@ -68,6 +73,6 @@ DTDS := $(addsuffix .dtd, $(XMLTYPES)) # $<. Its use is legitimate since we do sort of depend on the # directory existing. $(DTDS): %.dtd: % $(XMLS) - learn $ $@ + schema-learn $ $@ schema: $(DTDS)