Import Upstream version 20180207
[hcoop/debian/mlton.git] / lib / smlnj-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: smlnj-lib/README.mlton
19
20 smlnj-lib/README.mlton: smlnj-lib.tgz smlnj-lib.patch
21 rm -rf smlnj-lib
22 $(GZIP) -dc smlnj-lib.tgz | $(TAR) xf -
23 $(FIND) smlnj-lib -name '._*' -prune -exec rm -f '{}' ';'
24 chmod -R a+r smlnj-lib
25 chmod -R g-s smlnj-lib
26 $(PATCH) -s -d smlnj-lib -p1 < smlnj-lib.patch
27 cp smlnj-lib/LICENSE ../../doc/license/SMLNJ-LIB-LICENSE
28
29 .PHONY: clean
30 clean:
31 ../../bin/clean