[hcoop/debian/mlton.git] / lib / mllpt-lib / Makefile

## Copyright (C) 2011,2016,2018 Matthew Fluet.
 #
 # MLton is released under a BSD-style license.
 # See the file MLton-LICENSE for details.
 ##

FIND := find
GZIP := gzip
PATCH := patch
TAR := tar

######################################################################
######################################################################

all: ml-lpt/README

ml-lpt/README: ml-lpt.tgz ml-lpt.patch
	rm -rf ml-lpt
	$(GZIP) -dc ml-lpt.tgz | $(TAR) xf -
	$(FIND) ml-lpt -name '._*' -prune -exec rm -f '{}' ';'
	chmod -R a+r ml-lpt
	chmod -R g-s ml-lpt
	$(PATCH) -s -d ml-lpt -p1 < ml-lpt.patch
	touch $@  # ml-lpt/README not created/updated by patch

.PHONY: clean
clean:
	../../bin/clean
Commit	Line	Data
7f918cf1 CE	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