From 507770ffc1b8f54d13bcd718bbab993b2342c102 Mon Sep 17 00:00:00 2001
From: regehr <regehr>
Date: Thu, 7 Aug 2008 04:35:02 +0000
Subject: [PATCH] Spec file for creating Deputy packages supporting Safe
 TinyOS.

In the long run this doesn't go here-- but it's a convenient spot for
now.
---
 tools/release/deputy.spec | 44 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)
 create mode 100644 tools/release/deputy.spec

diff --git a/tools/release/deputy.spec b/tools/release/deputy.spec
new file mode 100644
index 00000000..b7c7baaa
--- /dev/null
+++ b/tools/release/deputy.spec
@@ -0,0 +1,44 @@
+%define name deputy
+%define version 1.1
+%define release 1
+
+Summary: Deputy compiler for Safe TinyOS.
+Name: %{name}
+Version: %{version}
+Release: %{release}%{?dist}
+Source: http://deputy.cs.berkeley.edu/deputy-1.1.tar.gz
+Patch0: deputy.patch
+Vendor: Deputy
+URL: http://deputy.cs.berkeley.edu/
+License: LGPL
+Group: Developement tool
+BuildRoot: %{_tmppath}/%{name}-root
+
+%description
+This package is the deputy compiler for Safe TinyOS.
+
+%prep
+%setup -q
+%patch0 -p0
+
+%build
+touch configure
+./configure --prefix=/usr
+make
+
+%install
+rm -rf $RPM_BUILD_ROOT
+make DESTDIR=$RPM_BUILD_ROOT install
+rm -rf $RPM_BUILD_ROOT/usr/lib/deputy/bin/deputy.byte.exe
+
+%clean
+rm -rf $RPM_BUILD_ROOT
+
+%files
+%defattr(-,root,root)
+/usr/bin/*
+/usr/lib/*
+/usr/man/man1/*
+
+
+%changelog
-- 
2.39.2