1 ## Copyright (C) 2011,2016,2018 Matthew Fluet.
3 # MLton is released under a BSD-style license.
4 # See the file MLton-LICENSE for details.
12 ######################################################################
13 ######################################################################
17 ml-lpt
/README
: ml-lpt.tgz ml-lpt.patch
19 $(GZIP
) -dc ml-lpt.tgz |
$(TAR
) xf
-
20 $(FIND
) ml-lpt
-name
'._*' -prune
-exec
rm -f
'{}' ';'
23 $(PATCH
) -s
-d ml-lpt
-p1
< ml-lpt.patch
24 touch
$@
# ml-lpt/README not created/updated by patch