Dependencies: sudo apt install gperf gtk2.0
OS Used: Ubuntu 18.04
Error while building:
~/gtkwave-3.3.102$ ./configure
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... /bin/mkdir -p
checking for gawk... gawk
checking whether make sets $(MAKE)... yes
checking whether make supports nested variables... yes
checking whether to enable maintainer-specific portions of Makefiles... no
checking if MIME and desktop updates should be disabled... no
checking for update-mime-database... /usr/bin/update-mime-database
checking for update-desktop-database... /usr/bin/update-desktop-database
checking if structure packing should be enabled... no
checking if Tcl usage should be disabled... no
checking for Tcl configuration... found /usr/lib/tclConfig.sh
checking for existence of /usr/lib/tclConfig.sh... loading
checking for Tk configuration... configure: error: Can't find Tk configuration definitions. Use --with-tk to specify a directory containing tkConfig.shDebug/Fix: I noticed that /usr/lib/tcl8.6/tclConfig.sh was already present but no /usr/lib/tk* on this path. Surprisingly, tk8.5 indicated already installed. $ sudo apt install tk8.5-dev | This resolved it. Could now find /usr/lib/tk8.5/tkConfig.sh
Now rerun configure using ./configure --with-tk /usr/lib/tk8.5/
For some reason xz-utils was not picked either so added ./configure --with-tk /usr/lib/tk8.5/ --disable-xz
Dependency super_prove could not be installed on 18.04. The build repository https://bitbucket.org/sterin/super_prove_build/src/default/ and https://github.com/berkeley-abc/abc-zz no longer maintained.
Error Log:
Build will fail on $ninja due to several issues:
Method1 fix:
- https://bitbucket.org/sterin/super_prove_build/issues/3/ambiguous-definition-of-tuple In abc-zz/Bip/Main_bip.cc, there are multiple definitions of "tuple", so the linker doesn't know which one to use. Fix: Find all tuple and replace it with ZZ::tuple
- https://bitbucket.org/sterin/super_prove_build/issues/2/include-in-namespace In the file abc-zz/MetaSat/MiniSat2/System.cc, #include<stdlib.h> is used inside of the minisat namespace. Fix: Move include line outside the namespace.
Method2 fix: Replace abc-zz with changes from berkeley-abc/abc-zz#1 and build again
The build should now pass. Or use the attached binary here built for Ubuntu18.04
sh sudo tar -C /usr/local/super_prove -xvf super_prove-hwmcc17_final-2-d7b71160dddb-Ubuntu_18.04-Release.tar.gz
Create wrapper script /usr/local/bin/suprove containing:
#!/bin/bash
tool=super_prove; if [ "$1" != "${1#+}" ]; then tool="${1#+}"; shift; fi
exec /usr/local/super_prove/bin/${tool}.sh "$@"Execute
sh sudo chmod 755 suprove
rajesh@lenovo:/usr/local/bin/Xilinx/Vivado/2020.2/bin$ vivado
application-specific initialization failed: couldn't load file "librdi_commontasks.so": libtinfo.so.5: cannot open shared object file: No such file or directory
Fix: sudo apt install libncurses5
sudo ./usr/local/bin/Xilinx/Vivado/2020.2/data/xicom/cable_drivers/lin64/install_script/install_drivers/install_drivers