File dinotrace.spec of Package dinotrace

#
# spec file for package dinotrace
#
# Copyright (c) 2024 SUSE LLC
# Copyright (c) 2017 SUSE LINUX GmbH, Nuernberg, Germany.
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
# upon. The license for this file, and modifications and additions to the
# file, is the same license as for the pristine package itself (unless the
# license for the pristine package is not an Open Source License, in which
# case the license is the MIT License). An "Open Source License" is a
# license that conforms to the Open Source Definition (Version 1.9)
# published by the Open Source Initiative.

# Please submit bugfixes or comments via http://bugs.opensuse.org/
#


Name:           dinotrace
Version:        9.4f
Release:        0
Summary:        Digital Waveform Viewer
License:        GPL-3.0-or-later
Group:          Productivity/Scientific/Electronics
Url:            https://www.veripool.com/dinotrace/
Source0:        https://www.veripool.org/ftp/%{name}-%{version}.tar.gz
# PATCH-FIX-OPENSUSE dinotrace-9.3f-no-extra-optimizer-flag.patch -- remove extra optimizer flag @OPT@ [bnc#409324]
Patch0:         dinotrace-9.3f-no-extra-optimizer-flag.patch
BuildRequires:  autoconf
BuildRequires:  makeinfo
BuildRequires:  texinfo
BuildRequires:  openmotif-devel
Requires(pre):  %{install_info_prereq}

%description
Dinotrace is a X-11 waveform viewer which understands Verilog Value
Change Dumps, ASCII, and other trace formats. It allows placing
cursors, highlighting signals, searching, printing, and other
capabilities superior to may commercial waveform viewers.

%prep
%autosetup -p1

%build
export CFLAGS=$(echo %{optflags} | sed "s,-O2,-O0,g")
autoconf
%configure
%make_build

%install
%make_install

%check

%post
%install_info --info-dir=%{_infodir} %{_infodir}/dinotrace.info

%postun
%install_info_delete --info-dir=%{_infodir} %{_infodir}/dinotrace.info

%files
%doc docs/FAQ.adoc docs/TODO.txt
%license COPYING
%{_bindir}/dinotrace
%{_infodir}/dinotrace.info%{ext_info}

%changelog