dejagnu: Build devel package.

diff --git a/pkgs/core/dejagnu/dejagnu.nm b/pkgs/core/dejagnu/dejagnu.nm
index a3ae0f3db167eebe9636661b85ffd7494d16c718..c911a08e784226ea8240c2b15e56391f691236ed 100644 (file)
--- a/pkgs/core/dejagnu/dejagnu.nm
+++ b/pkgs/core/dejagnu/dejagnu.nm
@@ -34,6 +34,8 @@ PKG_URL        = http://www.gnu.org/software/dejagnu/
 PKG_LICENSE    = GPLv2+
 PKG_SUMMARY    = A front end for testing other programs 
 
+PKG_PACKAGES  += $(PKG_NAME_REAL)-devel
+
 PKG_DEPS      += expect 
 
 define PKG_DESCRIPTION