Группа :: Науки/Математика
Пакет: 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 можно просмотреть здесь
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 можно просмотреть здесь