diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-07-15 15:25:47 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-07-15 15:25:47 -0700 |
| commit | 2618fb0c74567b42ec238706132937f087f8fc06 (patch) | |
| tree | be0fbb42376c94252df590308c356d3ec6fee97a /src/js/fiveui/build.mk | |
| parent | f29bd568fa77adae985c3c0fd47d5b6a03fc0490 (diff) | |
New UI
Diffstat (limited to 'src/js/fiveui/build.mk')
| -rw-r--r-- | src/js/fiveui/build.mk | 28 |
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) |