aboutsummaryrefslogtreecommitdiff
path: root/src/js/fiveui/build.mk
diff options
context:
space:
mode:
authorGravatar Trevor Elliott <trevor@galois.com>2013-07-15 15:25:47 -0700
committerGravatar Trevor Elliott <trevor@galois.com>2013-07-15 15:25:47 -0700
commit2618fb0c74567b42ec238706132937f087f8fc06 (patch)
treebe0fbb42376c94252df590308c356d3ec6fee97a /src/js/fiveui/build.mk
parentf29bd568fa77adae985c3c0fd47d5b6a03fc0490 (diff)
New UI
Diffstat (limited to 'src/js/fiveui/build.mk')
-rw-r--r--src/js/fiveui/build.mk28
1 files changed, 27 insertions, 1 deletions
diff --git a/src/js/fiveui/build.mk b/src/js/fiveui/build.mk
index e229eed..41d2c06 100644
--- a/src/js/fiveui/build.mk
+++ b/src/js/fiveui/build.mk
@@ -45,7 +45,8 @@ $2: $(patsubst $(fiveui-dir)/%,$1/data/%,$(wildcard $(fiveui-dir)/js/*))
$(call fiveui-files,$1/data,css)
-$2: $1/data/css/options.css
+$2: $1/data/css/options.css \
+ $1/data/css/ui.css
$(call fiveui-files,$1/data,images)
@@ -69,6 +70,31 @@ $2: $1/data/jquery/jquery-1.8.3.js \
$1/data/jquery/bundled.css
+# font awesome
+$1/data/font-awesome/css: | $1/data/font-awesome
+ $$(call cmd,mkdir)
+
+$1/data/font-awesome/css/%: $(lib-dir)/font-awesome/css/% \
+ | $1/data/font-awesome/css
+ $$(call cmd,cp)
+
+$1/data/font-awesome/font: | $1/data/font-awesome
+ $$(call cmd,mkdir)
+
+$1/data/font-awesome/font/%: $(lib-dir)/font-awesome/font/% \
+ | $1/data/font-awesome/font
+ $$(call cmd,cp)
+
+$1/data/font-awesome: | $1/data
+ $$(call cmd,mkdir)
+
+$2: $1/data/font-awesome/css/font-awesome.css \
+ $1/data/font-awesome/font/fontawesome-webfont.eot \
+ $1/data/font-awesome/font/fontawesome-webfont.svg \
+ $1/data/font-awesome/font/fontawesome-webfont.woff \
+ $1/data/font-awesome/font/fontawesome-webfont.ttf
+
+
# simple libraries
$1/data/%: $(lib-dir)/% | $1/data
$$(call cmd,cp)