Репозиторий Sisyphus
Последнее обновление: 1 октября 2023 | Пакетов: 18631 | Посещений: 37047399
en ru br
Репозитории ALT

Группа :: Науки/Математика
Пакет: ddcal

 Главная   Изменения   Спек   Патчи   Sources   Загрузить   Gear   Bugs and FR  Repocop 

Name: ddcal
Version: 0.9
Release: alt5
Summary: BDD calculator based on CUDD
License: BSD
Group: Sciences/Mathematics
Url: http://vlsi.colorado.edu/vlsi_downloads.html
Source: %name-%version.tar

BuildRequires(pre): rpm-macros-make
BuildPreReq: graphviz perl-Tk libcudd-devel flex

Requires: perl-Tk

%description
DDcal is a BDD calculator based on perl-Tk and the Cudd package.

%prep
%setup

%build
%add_optflags -I%_includedir/cudd
%make_build_ext

%install
%makeinstall_std

mv %buildroot%_bindir/%name %buildroot%_bindir/%name.bin
cat <<EOF >%buildroot%_bindir/%name
#!/bin/sh

%_bindir/DDcal -program %_bindir/ddcal.bin
EOF
chmod +x %buildroot%_bindir/%name

%files
%doc README examples
%_bindir/*

%changelog

Полный changelog можно просмотреть здесь

 
дизайн и разработка: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
текущий майнтейнер: Michael Shigorin