Geza Lore 55661e7f71 Install public executables into bindir instead of pkgdatadir (#5140) (#5544) ... Instead of installing redirect scripts in to bindir, and real executables in to pkgdatadir/bin, we now put the real executables into bindir, and add redirect scripts into pkgdatadir/bin. (That is, we redirect in the opposite direction as before). This enables the same relocatable and testable installations as before without putting architecture specific binaries into pkgdatadir, so hopefully we now conform to the Linux Filesystem Hierarchy Standard. This requires a small fixup in the installed `verilator` script to hardcode the relative path between bindir and pkgdatadir. Fixes #5140		2024-10-18 10:06:28 +01:00
..
t	Install public executables into bindir instead of pkgdatadir (#5140) (#5544)	2024-10-18 10:06:28 +01:00
.gdbinit
.gitignore
CMakeLists.txt	Internals: Standardize format of CMake files with gersemi. No functional change intended.	2024-09-24 20:43:19 -04:00
driver.py	Tests: Faster first retry	2024-10-07 21:44:07 -04:00
input.vc
input.xsim.vc
Makefile
Makefile_obj