Import Debian changes 20180207-1
[hcoop/debian/mlton.git] / lib / mlrisc-lib / Makefile
1 ## Copyright (C) 2009,2016,2018 Matthew Fluet.
2 # Copyright (C) 1999-2006 Henry Cejtin, Matthew Fluet, Suresh
3 # Jagannathan, and Stephen Weeks.
4 # Copyright (C) 1997-2000 NEC Research Institute.
5 #
6 # MLton is released under a BSD-style license.
7 # See the file MLton-LICENSE for details.
8 ##
9
10 FIND := find
11 GZIP := gzip
12 PATCH := patch
13 TAR := tar
14
15 ######################################################################
16 ######################################################################
17
18 all: MLRISC/README.mlton
19
20 MLRISC/README.mlton: MLRISC.tgz MLRISC.patch
21 rm -rf MLRISC
22 $(GZIP) -dc MLRISC.tgz | $(TAR) xf -
23 $(FIND) MLRISC -name '._*' -depth -exec rm -f '{}' ';'
24 chmod -R a+r MLRISC
25 chmod -R g-s MLRISC
26 $(PATCH) -s -d MLRISC -p1 < MLRISC.patch
27
28 .PHONY: clean
29 clean:
30 ../../bin/clean