[Commit-gnuradio] r6232 - gnuradio/branches/features/deb/debian

[jcorgan]

Author: jcorgan
Date: 2007-08-30 14:15:18 -0600 (Thu, 30 Aug 2007)
New Revision: 6232

Added:
   gnuradio/branches/features/deb/debian/libpmt0-dev.dirs
   gnuradio/branches/features/deb/debian/libpmt0-dev.install
Modified:
   gnuradio/branches/features/deb/debian/control
Log:
Created libpmt0-dev package.

Modified: gnuradio/branches/features/deb/debian/control
===================================================================
--- gnuradio/branches/features/deb/debian/control       2007-08-30 19:29:49 UTC 
(rev 6231)
+++ gnuradio/branches/features/deb/debian/control       2007-08-30 20:15:18 UTC 
(rev 6232)
@@ -39,10 +39,21 @@
 Recommends: 
 Suggests: 
 Description: GNU Radio Polymorphic Type library
- This package contains implementation of polymorphic types.  These 
+ This package contains an implementation of polymorphic types.  These 
  are similar to lisp or python data objects, and implement transparent
  reference counting using the boost shared_ptr templates.
 
+Package: libpmt0-dev
+Section: libdevel
+Architecture: any
+Depends: libgnuradio-omnithread0-dev, libpmt0c2a (= ${Source-Version}), 
libboost-dev
+Description: GNU Radio Polymorphic Type Library
+ This package contains an implementation of polymorphic types.  These 
+ are similar to lisp or python data objects, and implement transparent
+ reference counting using the boost shared_ptr templates.
+ .
+ This package contains header files needed by developers.
+
 Package: libgnuradio-core0c2a
 Section: libs
 Architecture: any

Added: gnuradio/branches/features/deb/debian/libpmt0-dev.dirs
===================================================================
--- gnuradio/branches/features/deb/debian/libpmt0-dev.dirs                      
        (rev 0)
+++ gnuradio/branches/features/deb/debian/libpmt0-dev.dirs      2007-08-30 
20:15:18 UTC (rev 6232)
@@ -0,0 +1 @@
+usr/include/gnuradio

Added: gnuradio/branches/features/deb/debian/libpmt0-dev.install
===================================================================
--- gnuradio/branches/features/deb/debian/libpmt0-dev.install                   
        (rev 0)
+++ gnuradio/branches/features/deb/debian/libpmt0-dev.install   2007-08-30 
20:15:18 UTC (rev 6232)
@@ -0,0 +1,3 @@
+usr/include/pmt.h
+usr/include/pmt_pool.h
+usr/include/pmt_serial_tags.h