debian/0000755000000000000000000000000012260573346007176 5ustar debian/control0000644000000000000000000000114012260545233010567 0ustar Source: emu8051 Section: electronics Priority: optional Maintainer: Bhavani Shankar Build-Depends: debhelper (>= 7.0.50~), libgtk2.0-dev, autotools-dev Homepage: http://www.hugovil.com/fr/emu8051/index.html Standards-Version: 3.9.5 Package: emu8051 Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends} Description: Emulator and simulator for 8051 microcontrollers Emu8051 is a simulator/emulator for the Intel 8051 family of microcontrollers. It allows the developers to simulate 8051 microcontrollers to test their code and debug it. The program can load Intel HEX files. debian/watch0000644000000000000000000000015212257752413010225 0ustar version=3 http://www.hugovil.com/fr/emu8051/download.html .*/emu8051-(\d.*)\.(?:tgz|tar\.(?:gz|bz2|xz)) debian/docs0000644000000000000000000000001211404747630010040 0ustar NEWS TODO debian/changelog0000644000000000000000000000331112260545363011044 0ustar emu8051 (1.1.1-1) unstable; urgency=low * New Upstream release. * debian/control: + Update standards to 3.9.5 * debian/copyright: + Update to latest standards + Packaging is now under GPL v2 * debian/rules: + Link the executables to emu 8051 man page + Enable all hardening flags * debian/watch: + Incorporate latest changes. Thanks Bart! * Explicitly link emu8051-gtk in menu and desktop file as the executables have split. * Add keywords string in .desktop file. -- Bhavani Shankar Sun, 29 Dec 2013 13:37:28 +0530 emu8051 (1.1.0-1) unstable; urgency=low * Initial Release. Closes: #585446 + Thanks to Pierre Ferrari for initial packaging in ubuntu. * New upstream release with packaging improvements: * debian/control: + Switch over to debhelper v7 tiny instead of cdbs and as a result add Build-Depend on autotools-dev + Bump up standards-version to 3.8.4. No other changes + Package is now in electronics section * debian/rules: + Minimize rules file and add -Wl,-z,defs -Wl,--as-needed to GTK LDFLAGS * debian/compat: + Set to version 7 * debian/manpages: + (New file). Install emu8051 manpage * debian/docs: + (New file). Install TODO and NEWS files * Switch to 3.0 (quilt) format * Update debian/copyright layout * Add a desktop and menu file -- Bhavani Shankar Sun, 13 Jun 2010 11:25:29 +0530 emu8051 (1.0.2-0ubuntu1) jaunty; urgency=low * new upstream version (1.0.2) * add copyright and changing the FSF address in some files * write a new long description -- Pierre Ferrari Tue, 17 Feb 2009 08:20:14 +0100 debian/compat0000644000000000000000000000000212260545170010366 0ustar 7 debian/copyright0000644000000000000000000000235012260543276011130 0ustar Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Contact: Hugo Villeneuve , Jonathan St-André , Pascal Fecteau Upstream-Name: emu8051 Source: http://www.hugovil.com/en/emu8051/download.html Files: * Copyright: 1999-2011, Hugo Villeneuve , Jonathan St-André , Pascal Fecteau License: GPL-2+ Files: debian/* Copyright: 2009-2010 Pierre Ferrari 2010-2013 Bhavani Shankar License: GPL-2+ License: GPL-2+ This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License, version 2 or later, as published by the Free Software Foundation. . This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANDABILITY of FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for details. . On Debian GNU/Linux systems, the complete text of the GNU General Public License can be found in /usr/share/common-licenses/GPL-2. debian/source/0000755000000000000000000000000011404752164010472 5ustar debian/source/format0000644000000000000000000000001411405053736011700 0ustar 3.0 (quilt) debian/menu0000644000000000000000000000026112257764427010074 0ustar ?package(emu8051):needs="X11" \ section="Applications/Education" \ hints="GNOME" \ title="Emu8051" \ longtitle="intel 8051 emulator" \ command="/usr/bin/emu8051-gtk" debian/emu8051.desktop0000644000000000000000000000042112260052715011662 0ustar [Desktop Entry] Version=1.0 Name=emu8051 Name[en_GB]=Emu8051 GenericName=intel 8051 emulator GenericName[en_GB]=intel 8051 emulator Keywords=intel microcontroller emulator Exec=/usr/bin/emu8051-gtk Type=Application Terminal=false Categories=Science;Education;Electronics; debian/rules0000755000000000000000000000104312260545150010244 0ustar #!/usr/bin/make -f LDFLAGS+=-Wl,-z,defs -Wl,--as-needed # Enable all hardening flags export DEB_BUILD_MAINT_OPTIONS = hardening=+all %: dh ${@} override_dh_auto_install: dh_auto_install #Add command here to install desktop file $(MAKE) DESTDIR=$(CURDIR)/debian/emu8051 install dh_install debian/emu8051.desktop usr/share/applications #Link executables for man file dh_link /usr/share/man/man1/emu8051.1 /usr/share/man/man1/emu8051-gtk.1 dh_link /usr/share/man/man1/emu8051.1 /usr/share/man/man1/emu8051-cli.1 debian/manpages0000644000000000000000000000002011403707414010675 0ustar doc/emu8051.man