aboutsummaryrefslogtreecommitdiff
path: root/Makefile
blob: e5e983b3fea4cb9f5c7d0d41fa5f1d63c1c39454 (plain)
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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
# Module     : Makefile
# Copyright  : (c) 2011-2012, Galois, Inc.
#
# Maintainer :
# Stability  : Provisional
# Portability: Portable
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
#      http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.



# Entry Point ##################################################################

.PHONY: all
all:

.PHONY: package
package:

.PHONY: unpack
unpack:

.PHONY: clean
clean::

.PHONY: distclean
distclean:: clean

.PHONY: test
test:

# Generate and commit all changed files to the gh-pages branch.  There is a good
# chance that this will always produce a new commit for the extensions, so use
# it with care.  If you only want to deploy the manual/doc changes, use
# generate-docs, defined in doc/build.mk
.PHONY: generate
generate:

.PHONY: deploy
deploy:


# Utilities ####################################################################

topdir := $(CURDIR)
path   := .

include mk/util.mk
include mk/subdir.mk

ifeq "$(shell ls ./Config.mk 2>/dev/null)" ""
$(warning No Config.mk found, installing a default)
Config.mk: Config.mk.sample
	$(call cmd,cp)

endif
-include Config.mk

# Build Directory Staging ######################################################

build-dir := $(topdir)/build
include mk/gh-pages.mk

$(build-dir):
	$(call cmd,mkdir)

clean::
	$(RM) -r $(build-dir)


# Subdirs ######################################################################

$(eval $(call subdir,tools))

$(eval $(call subdir,src/js/fiveui))
$(eval $(call subdir,src/js/chrome))
$(eval $(call subdir,src/js/firefox))
$(eval $(call subdir,src/js/tests))

$(eval $(call subdir,src/batchtools))

$(eval $(call subdir,profiles))
$(eval $(call subdir,doc))


# GH-Pages Generation ##########################################################

generate: generate-exts

.PHONY: generate-exts
generate-exts: $(build-dir)/gh-pages/binaries/fiveui.xpi \
               $(build-dir)/gh-pages/binaries/fiveui.crx \
             | pull-gh-pages
	$(call commit,binaries,"deploy extensions")

# Move extensions into the binaries directory of the gh-pages branch
$(gh-pages-dir)/binaries/%: $(build-dir)/% pull-gh-pages
	$(call cmd,cp)