Commit 009ad71e authored by Michael Hanus's avatar Michael Hanus
Browse files

Merge branch 'master' of git-ps.informatik.uni-kiel.de:curry/curry-tools

parents 612d3c08 8ef0e18d
......@@ -17,4 +17,4 @@ AddTypes: AddTypes.curry $(META)/AbstractCurry.curry \
.PHONY: clean
clean:
$(ROOT)/bin/cleancurry
rm -f $(ROOT)/bin/addtypes
rm -f AddTypes $(ROOT)/bin/addtypes
......@@ -32,4 +32,4 @@ SourceProgGUI: SourceProgGUI.curry $(LIB)/GUI.curry
.PHONY: clean
clean:
$(ROOT)/bin/cleancurry
rm -f $(ROOT)/bin/currybrowse
rm -f BrowserGUI SourceProgGUI $(ROOT)/bin/currybrowse
......@@ -33,4 +33,4 @@ CreateMakefile: CreateMakefile.curry \
.PHONY: clean
clean:
$(ROOT)/bin/cleancurry
rm -f $(ROOT)/bin/currycreatemake
rm -f CreateMakefile $(ROOT)/bin/currycreatemake
......@@ -14,3 +14,5 @@ Curry2JS: Curry2JS.curry $(LIB)/JavaScript.curry \
clean:
$(ROOT)/bin/cleancurry
rm -f Curry2JS
......@@ -19,4 +19,4 @@ CurryTest: CurryTest.curry $(META)/FlatCurry.curry \
.PHONY: clean
clean:
$(ROOT)/bin/cleancurry
rm -f $(ROOT)/bin/currytest
rm -f CurryTest $(ROOT)/bin/currytest
......@@ -19,3 +19,4 @@ GenInt: $(DEPS)
.PHONY: clean
clean:
$(ROOT)/bin/cleancurry
rm -f GenInt
......@@ -15,3 +15,4 @@ ImportCalls: ImportCalls.curry $(META)/FlatCurry.curry \
.PHONY: clean
clean:
$(ROOT)/bin/cleancurry
rm -f ImportCalls
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment