Main   Changelog   Spec   Patches   Sources   Download   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
…
Full changelog you can see here