deputy-tinyos is no longer a required package

deputy-tinyos does not build as is on Ubuntu Trusty, because OCaml needs
an update that then breaks the tinyos patches for deputy support.  For
now, solve this problem by removing deputy-tinyos from Depends.
Document that it is still relevant by adding it to Recommends, even
though at this time there is no way to install this package.

diff --git a/debian/control.in b/debian/control.in
index 0f4abc6acf1285b81e84e104a80768c8064e5311..2a61c781ea75b9da619ce1b3fcd42f6c44fb0d23 100644 (file)
--- a/debian/control.in
+++ b/debian/control.in
@@ -10,10 +10,10 @@ Build-Depends: dpkg-dev (>= 1.13.9), autoconf (>= 2.13), automake, bison, flex,
 
 Package: tinyos
 Architecture: all
-Depends: tinyos-tools (>= 1.3.0), deputy-tinyos (>= 1.1), tinyos-source,
-  tinyos-toolchain
+Depends: tinyos-tools (>= 1.3.0), tinyos-source, tinyos-toolchain
 Conflicts:
 Priority: extra
+Recommends: deputy-tinyos (>= 1.1)
 Description: Main TinyOS package
  To install TinyOS, install this package.  To remove TinyOS, remove this
  package.