Import Upstream version 20180207
[hcoop/debian/mlton.git] / lib / mllpt-lib / Makefile
1 ## Copyright (C) 2011,2016,2018 Matthew Fluet.
2 #
3 # MLton is released under a BSD-style license.
4 # See the file MLton-LICENSE for details.
5 ##
6
7 FIND := find
8 GZIP := gzip
9 PATCH := patch
10 TAR := tar
11
12 ######################################################################
13 ######################################################################
14
15 all: ml-lpt/README
16
17 ml-lpt/README: ml-lpt.tgz ml-lpt.patch
18 rm -rf ml-lpt
19 $(GZIP) -dc ml-lpt.tgz | $(TAR) xf -
20 $(FIND) ml-lpt -name '._*' -prune -exec rm -f '{}' ';'
21 chmod -R a+r ml-lpt
22 chmod -R g-s ml-lpt
23 $(PATCH) -s -d ml-lpt -p1 < ml-lpt.patch
24 touch $@ # ml-lpt/README not created/updated by patch
25
26 .PHONY: clean
27 clean:
28 ../../bin/clean