-
Notifications
You must be signed in to change notification settings - Fork 57
/
Copy pathMmakefile
32 lines (26 loc) · 969 Bytes
/
Mmakefile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
#-----------------------------------------------------------------------------#
# vim: ts=8 sw=8 noexpandtab
#-----------------------------------------------------------------------------#
# Copyright (C) 2011 The University of Melbourne.
# Copyright (C) 2015, 2018 The Mercury team.
# This file is distributed under the terms specified in COPYING.LIB.
#-----------------------------------------------------------------------------#
# This is file exists so that do an `mmake' from the top-level of the extras
# distribution works. The actual work of building this library is done
# using the Makefile and mmc --make. This file just forwards all the work
# to there.
MAIN_TARGET=build
.PHONY: build
build:
$(MAKE) build
# The depend target does nothing, mmc --make will handle dependencies
# automatically.
#
.PHONY: depend
depend:
.PHONY: install
install:
$(MAKE) install INSTALL_PREFIX=$(INSTALL_PREFIX)/extras
.PHONY: realclean
realclean:
$(MAKE) realclean