From d316614847c16569da34a42e808dfb332fc6b6c9 Mon Sep 17 00:00:00 2001
From: Trevor Elliott <trevor@galois.com>
Date: Thu, 16 May 2013 14:28:25 -0700
Subject: Remove google closure, and start reworking the build system

Squashed commit of the following:

commit 446aae2afd089c28abd1d03a5fd20d4735837e16
Author: Trevor Elliott <trevor@galois.com>
Date:   Thu May 16 11:50:17 2013 -0700

    stage-dir doesn't need to be cleaned

      Since everything goes into a common build tree now, cleaning just
    involves removing the entire build tree.

commit d8f531ddf8ee1406ec915502c28dc0eb3912d0ee
Author: Trevor Elliott <trevor@galois.com>
Date:   Thu May 16 11:47:10 2013 -0700

    Switch to placing build artifacts in a build tree

commit 9eedeec8d6a1012b1b7e466120260276b1e952d4
Author: Trevor Elliott <trevor@galois.com>
Date:   Thu May 16 11:35:01 2013 -0700

    Remove the closure_compiler and closure_linter

commit 5784158cf2cd55f0ffd01147ae014379ecc857fd
Author: Trevor Elliott <trevor@galois.com>
Date:   Thu May 16 11:34:27 2013 -0700

    Move the scripts in build to tools/bin

commit 64a6a53ea0fd5e299e9d17c0e4f8fedf305272dc
Author: Trevor Elliott <trevor@galois.com>
Date:   Thu May 16 11:27:55 2013 -0700

    Build jsdoc

      Also, remove the old Makefiles that were in doc, as they're not necessary
    anymore.

commit 1ef0d9e39cd4a24807ee6ca956fbc627fb851b9d
Author: Trevor Elliott <trevor@galois.com>
Date:   Thu May 16 11:18:59 2013 -0700

    Conditionally build the manual

commit c326c58059e0d5035edecfd6261ee42797c49c2c
Author: Trevor Elliott <trevor@galois.com>
Date:   Thu May 16 11:13:31 2013 -0700

    Get the html manual building again

commit 480fa132ffb0562eb3f61d45d79d3315b1d3cc29
Author: Trevor Elliott <trevor@galois.com>
Date:   Thu May 16 11:13:01 2013 -0700

    Move doc specific .gitignore stuff to doc/.gitignore

commit 8c108d4e0df848839bcd6b4c22d623053f590e95
Author: Trevor Elliott <trevor@galois.com>
Date:   Wed May 15 10:42:41 2013 -0700

    Fix some path inconsistencies in the contexts build.mk

commit ee53404be09cf26983365374da84ade564b92926
Author: Trevor Elliott <trevor@galois.com>
Date:   Wed May 15 10:37:40 2013 -0700

    Preliminary build system changes

     * Chrome extension builds, but there are problems

commit 474c6b88190787aeffd960ffb5855d31770e7141
Author: Trevor Elliott <trevor@galois.com>
Date:   Mon May 13 19:06:31 2013 -0700

    Remove the closure toolkit
---
 profiles/Makefile | 35 -----------------------------------
 profiles/build.mk | 21 +++++++++++++++++++++
 2 files changed, 21 insertions(+), 35 deletions(-)
 delete mode 100644 profiles/Makefile
 create mode 100644 profiles/build.mk

(limited to 'profiles')

diff --git a/profiles/Makefile b/profiles/Makefile
deleted file mode 100644
index 7da5900..0000000
--- a/profiles/Makefile
+++ /dev/null
@@ -1,35 +0,0 @@
-
-# Entry Point ##################################################################
-
-.PHONY: all
-all: unpack
-
-.PHONY: all
-unpack:
-
-.PHONY: clean
-clean:
-
-
-# Macros #######################################################################
-
-define profile
-.PHONY: $1
-$1: $1/.token
-
-$1/.token: $1.tar
-	tar -xvf $$<
-	touch $$@
-
-unpack: $1
-
-clean-$1:
-	$(RM) -r $1
-clean: clean-$1
-endef
-
-
-# Profile Management ###########################################################
-
-$(eval $(call profile,chrome))
-$(eval $(call profile,firefox))
diff --git a/profiles/build.mk b/profiles/build.mk
new file mode 100644
index 0000000..9aff102
--- /dev/null
+++ b/profiles/build.mk
@@ -0,0 +1,21 @@
+
+# Macros #######################################################################
+
+define profile
+unpack: profile-$1
+
+.PHONY: profile-$1
+profile-$1: | $(path)/$1
+
+$(path)/$1: $(path)/$1.tar
+	tar -C $(path) -xvf $$<
+
+clean::
+	$(RM) -r $(path)/$1
+endef
+
+
+# Profile Management ###########################################################
+
+$(eval $(call profile,chrome))
+$(eval $(call profile,firefox))
-- 
cgit v1.2.3