debian/0000775000000000000000000000000012232511234007163 5ustar debian/source/0000775000000000000000000000000011773626747010514 5ustar debian/source/format0000664000000000000000000000001411773626747011722 0ustar 3.0 (quilt) debian/copyright0000664000000000000000000000173611773626747011156 0ustar This work was packaged for Debian by: Christoph Egger on Wed, 12 Jan 2011 14:51:00 +0100 It was downloaded from http://vamos.informatik.uni-erlangen.de/files/undertaker-1.0.tar.gz Files: fm scripts License: GPL-2 Comment: Derived from linux tree, modified by Reinhard Tartler, Julio Sincero and Christian Dietrich Files: undertaker rsf2model contrib $rest License: GPL-3+ Copyright: 2009-2011 Reinhard Tartler 2009-2011 Julio Sincero 2010-2011 Christian Dietrich Files: ziz License: GPL-3+ Copyright: 2010 Frank Blendinger 2010-2011 Reinhard Tartler Files: debian License: GPL-3+ Copyright: 2011 Christoph Egger GPL-3 see `/usr/share/common-licenses/GPL-3' GPL-2 see `/usr/share/common-licenses/GPL-2' debian/undertaker-el.emacsen-startup0000664000000000000000000000207311773626747015015 0ustar ;; -*-emacs-lisp-*- ;; ;; Emacs startup file, e.g. /etc/emacs/site-start.d/50undertaker.el ;; for the Debian undertaker package ;; ;; Originally contributed by Nils Naumann ;; Modified by Dirk Eddelbuettel ;; Adapted for dh-make by Jim Van Zandt ;; The undertaker package follows the Debian/GNU Linux 'emacsen' policy and ;; byte-compiles its elisp files for each 'emacs flavor' (emacs19, ;; xemacs19, emacs20, xemacs20...). The compiled code is then ;; installed in a subdirectory of the respective site-lisp directory. ;; We have to add this to the load-path: (let ((package-dir (concat "/usr/share/" (symbol-name flavor) "/site-lisp/undertaker"))) ;; If package-dir does not exist, the undertaker package must have ;; removed but not purged, and we should skip the setup. (when (file-directory-p package-dir) (setq load-path (cons package-dir load-path)) (autoload 'undertaker-mode "undertaker" "Minor mode for interacting with undertaker." t))) debian/undertaker-el.install0000664000000000000000000000002011773626747013336 0ustar usr/share/emacs debian/undertaker-el.emacsen-install0000664000000000000000000000233111773626747014756 0ustar #! /bin/sh -e # /usr/lib/emacsen-common/packages/install/undertaker # Written by Jim Van Zandt , borrowing heavily # from the install scripts for gettext by Santiago Vila # and octave by Dirk Eddelbuettel . FLAVOR=$1 PACKAGE=undertaker if [ ${FLAVOR} = emacs ]; then exit 0; fi echo install/${PACKAGE}: Handling install for emacsen flavor ${FLAVOR} #FLAVORTEST=`echo $FLAVOR | cut -c-6` #if [ ${FLAVORTEST} = xemacs ] ; then # SITEFLAG="-no-site-file" #else # SITEFLAG="--no-site-file" #fi FLAGS="${SITEFLAG} -q -batch -l path.el -f batch-byte-compile" ELDIR=/usr/share/emacs/site-lisp/${PACKAGE} ELCDIR=/usr/share/${FLAVOR}/site-lisp/${PACKAGE} # Install-info-altdir does not actually exist. # Maybe somebody will write it. if test -x /usr/sbin/install-info-altdir; then echo install/${PACKAGE}: install Info links for ${FLAVOR} install-info-altdir --quiet --section "" "" --dirname=${FLAVOR} /usr/share/info/${PACKAGE}.info.gz fi install -m 755 -d ${ELCDIR} cd ${ELDIR} FILES=`echo *.el` cp ${FILES} ${ELCDIR} cd ${ELCDIR} cat << EOF > path.el (setq load-path (cons "." load-path) byte-compile-warnings nil) EOF ${FLAVOR} ${FLAGS} ${FILES} rm -f *.el path.el exit 0 debian/changelog0000664000000000000000000000236312232501203011034 0ustar undertaker (1.3b-1.1) unstable; urgency=low * Non-maintainer upload. * Apply patch from Fedora by Jerry James, to fix FTBFS against new picosat. (Closes: #699575) -- Dmitrijs Ledkovs Fri, 25 Oct 2013 15:37:31 +0100 undertaker (1.3b-1) unstable; urgency=low [ Christoph Egger ] * drop patches [ Reinhard Tartler ] * Tighten build dependency on libpuma -- Reinhard Tartler Sat, 30 Jun 2012 12:10:46 +0200 undertaker (1.2-1) unstable; urgency=low * New upstream release * Drop patch again (Merged upstream) -- Christoph Egger Thu, 25 Aug 2011 11:25:07 +0200 undertaker (1.1-2) unstable; urgency=low * Apply patch from Konstantinos Margaritis for building against newer boost (Closes: #625007) -- Christoph Egger Sat, 25 Jun 2011 16:04:36 +0200 undertaker (1.1-1) unstable; urgency=low * New upstream Version * Change siretart's E-Mail address * Fix copyright information * Add Vcs-* Headers -- Christoph Egger Thu, 10 Feb 2011 22:26:20 +0100 undertaker (1.0-1) unstable; urgency=low * Initial release (Closes: #611178) -- Christoph Egger Wed, 12 Jan 2011 14:51:00 +0100 debian/control0000664000000000000000000000262311773626747010622 0ustar Source: undertaker Section: devel Priority: optional Maintainer: Christoph Egger Uploaders: Reinhard Tartler Build-Depends: check, debhelper (>= 7.0.50~), libboost-dev (>= 1.40), libboost-filesystem-dev (>= 1.40), libboost-regex-dev (>= 1.40), libboost-thread-dev (>= 1.40), libboost-wave-dev (>= 1.40), libpstreams-dev, libpuma-dev (>= 1:1.1+svn20120529-2~), picosat (>= 913-4~), python-all (>= 2.6.6-3~) Standards-Version: 3.9.1 Homepage: http://vamos.informatik.uni-erlangen.de/trac/undertaker Vcs-Git: git://git.debian.org/git/collab-maint/undertaker.git Vcs-Browser: http://git.debian.org/?p=collab-maint/undertaker.git Package: undertaker Architecture: any Depends: git, ${misc:Depends}, ${python:Depends}, ${shlibs:Depends} Description: static code analysis tool checking preprocessor directives The undertaker is an preprocessor and configuration analyser. It can check the structure of your preprocessor directives against different configuration models to find blocks than can't be selected or deselected. Package: undertaker-el Architecture: all Depends: emacsen | emacs23, undertaker, ${misc:Depends}, ${shlibs:Depends} Description: emacs integration for undertaker undertaker-mode allows you to get the preprocessor condition under which the selected line of source code is built optionally incuding restrictions from a external configuration model debian/undertaker.install0000664000000000000000000000003511773626747012746 0ustar usr/bin usr/lib usr/share/mandebian/rules0000775000000000000000000000047311773626747010300 0ustar #!/usr/bin/make -f UPSTREAM_VERSION=$(shell cat VERSION) %: dh --with python2 $@ --parallel version.h: echo 'const char * version = "$(UPSTREAM_VERSION)";' > $@ override_dh_auto_build: version.h dh_auto_build override_dh_auto_install: dh_auto_install -- PREFIX=/usr override_dh_auto_test: #$(MAKE) check debian/watch0000664000000000000000000000013211773626747010241 0ustar version=3 http://vamos.informatik.uni-erlangen.de/files/undertaker-(\d+[(.\d+)]+).tar.gz debian/undertaker-el.emacsen-remove0000664000000000000000000000074011773626747014607 0ustar #!/bin/sh -e # /usr/lib/emacsen-common/packages/remove/undertaker FLAVOR=$1 PACKAGE=undertaker if [ ${FLAVOR} != emacs ]; then if test -x /usr/sbin/install-info-altdir; then echo remove/${PACKAGE}: removing Info links for ${FLAVOR} install-info-altdir --quiet --remove --dirname=${FLAVOR} /usr/share/info/undertaker.info.gz fi echo remove/${PACKAGE}: purging byte-compiled files for ${FLAVOR} rm -rf /usr/share/${FLAVOR}/site-lisp/${PACKAGE} fi debian/clean0000664000000000000000000000004211773626747010215 0ustar ziz/zizzler undertaker/undertaker debian/patches/0000775000000000000000000000000012232511225010612 5ustar debian/patches/undertaker-picosat.patch0000664000000000000000000001041512232510177015445 0ustar From 10db322d6189204b89f2777a9563e4f2141a5733 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Wed, 31 Jul 2013 22:51:08 +0000 Subject: Add -picosat patch to adapt to new reentrant picosat API. --- a/undertaker/SatChecker.h +++ b/undertaker/SatChecker.h @@ -249,6 +249,8 @@ const std::string _sat; int _clauses; + Picosat::PicoSAT *picosat_inst; + int stringToSymbol(const std::string &key); int newSymbol(void); void addClause(int *clause); --- a/undertaker/SatChecker.cpp +++ b/undertaker/SatChecker.cpp @@ -77,13 +77,13 @@ } int SatChecker::newSymbol(void) { - return Picosat::picosat_inc_max_var(); + return Picosat::picosat_inc_max_var(picosat_inst); } void SatChecker::addClause(int *clause) { for (int *x = clause; *x; x++) - Picosat::picosat_add(*x); - Picosat::picosat_add(0); + Picosat::picosat_add(picosat_inst, *x); + Picosat::picosat_add(picosat_inst, 0); _clauses ++; } @@ -308,7 +308,8 @@ std::cout << std::string(expression.begin(), expression.begin() + info.length) << endl; */ - Picosat::picosat_reset(); + Picosat::picosat_reset(picosat_inst); + picosat_inst = NULL; throw SatCheckerError("SatChecker: Couldn't parse: " + expression); } } @@ -318,7 +319,7 @@ int top_clause = transform_bool_rec(expression); /* This adds the last clause */ - Picosat::picosat_assume(top_clause); + Picosat::picosat_assume(picosat_inst, top_clause); return top_clause; } @@ -334,26 +335,27 @@ debug_parser_indent = 0; try { - Picosat::picosat_init(); + picosat_inst = Picosat::picosat_init(); /* Configure picosat to the given mode, default is 1 (trying to enable * as many features as possible) */ - Picosat::picosat_set_global_default_phase(mode); + Picosat::picosat_set_global_default_phase(picosat_inst, mode); fillSatChecker(_sat); - int res = Picosat::picosat_sat(-1); + int res = Picosat::picosat_sat(picosat_inst, -1); if (res == PICOSAT_SATISFIABLE) { /* Let's get the assigment out of picosat, because we have to reset the sat solver afterwards */ std::map::const_iterator it; for (it = symbolTable.begin(); it != symbolTable.end(); ++it) { - bool selected = Picosat::picosat_deref(it->second) == 1; + bool selected = Picosat::picosat_deref(picosat_inst, it->second) == 1; assignmentTable.insert(std::make_pair(it->first, selected)); } } - Picosat::picosat_reset(); + Picosat::picosat_reset(picosat_inst); + picosat_inst = NULL; if (res == PICOSAT_UNSATISFIABLE) @@ -741,18 +743,18 @@ bool BaseExpressionSatChecker::operator()(const std::set &assumeSymbols) throw (SatCheckerError) { try { /* Assume the top and clause */ - Picosat::picosat_assume(base_clause); + Picosat::picosat_assume(picosat_inst, base_clause); /* Assume additional all given symbols */ for (std::set::const_iterator it = assumeSymbols.begin(); it != assumeSymbols.end(); it++) { - Picosat::picosat_assume(stringToSymbol((*it).c_str())); + Picosat::picosat_assume(picosat_inst, stringToSymbol((*it).c_str())); } // try to enable as many features as possible - Picosat::picosat_set_global_default_phase(1); + Picosat::picosat_set_global_default_phase(picosat_inst, 1); - int res = Picosat::picosat_sat(-1); + int res = Picosat::picosat_sat(picosat_inst, -1); if (res == PICOSAT_SATISFIABLE) { /* Let's get the assigment out of picosat, because we have to @@ -760,7 +762,7 @@ assignmentTable.clear(); std::map::const_iterator it; for (it = symbolTable.begin(); it != symbolTable.end(); ++it) { - bool selected = Picosat::picosat_deref(it->second) == 1; + bool selected = Picosat::picosat_deref(picosat_inst, it->second) == 1; assignmentTable.insert(std::make_pair(it->first, selected)); } } debian/patches/drop-mt.patch0000664000000000000000000000156012232511225013217 0ustar Description: drop -mt suffix & add missing libs Author: Dmitrijs Ledkovs --- a/undertaker/Makefile +++ b/undertaker/Makefile @@ -13,7 +13,7 @@ LDFLAGS = # LDCOV = -coverage BOOST_LIBS = -lboost_system -lboost_regex -lboost_filesystem -lboost_thread -LDLIBS = libparser.a -lstdc++ $(BOOST_LIBS) -lpicosat -lboost_wave-mt -lPuma $(LDCOV) +LDLIBS = libparser.a -lstdc++ $(BOOST_LIBS) -lpicosat -lboost_wave -lPuma -lm $(LDCOV) PARSEROBJ = RsfReader.o KconfigWhitelist.o PresetList.o ConfigurationModel.o\ ModelContainer.o SatChecker.o BlockDefectAnalyzer.o\ --- a/ziz/Makefile +++ b/ziz/Makefile @@ -4,7 +4,7 @@ CFLAGS = -Wall -Wextra -O2 $(DEBUG) CXXFLAGS = $(CFLAGS) LDFLAGS = -LDLIBS = -lboost_regex -lboost_wave-mt -lboost_system-mt $(LDCOV) +LDLIBS = -lboost_regex -lboost_wave -lboost_system $(LDCOV) ZIZOBJ = Ziz.o HEADERS = $(wildcard *.h) debian/patches/series0000664000000000000000000000004712232510325012030 0ustar undertaker-picosat.patch drop-mt.patch debian/docs0000664000000000000000000000000711773626747010064 0ustar README debian/compat0000664000000000000000000000000211773626747010412 0ustar 7