Use DESTDIR as defined in https://www.gnu.org/prep/standards/html_node/DESTDIR.html
Use DESTDIR as defined in https://www.gnu.org/prep/standards/html_node/DESTDIR.html

This is needed for painless packaging of yosys

cliffordwolf/yosys,SymbiFlow/yosys,azonenberg/yosys,cliffordwolf/yosys,swallat/yosys,swallat/yosys,azonenberg/yosys,SymbiFlow/yosys,azonenberg/yosys,antmicro/yosys,SymbiFlow/yosys,antmicro/yosys,SymbiFlow/yosys,cliffordwolf/yosys,antmicro/yosys,antmicro/yosys,swallat/yosys,YosysHQ/yosys,cliffordwolf/yosys,antmicro/yosys,antmicro/yosys,YosysHQ/yosys,SymbiFlow/yosys,cliffordwolf/yosys,cliffordwolf/yosys,YosysHQ/yosys,YosysHQ/yosys,YosysHQ/yosys,swallat/yosys,SymbiFlow/yosys,YosysHQ/yosys,swallat/yosys,YosysHQ/yosys,swallat/yosys,cliffordwolf/yosys,swallat/yosys,YosysHQ/yosys,azonenberg/yosys,antmicro/yosys,cliffordwolf/yosys,azonenberg/yosys,SymbiFlow/yosys,antmicro/yosys,SymbiFlow/yosys,azonenberg/yosys,azonenberg/yosys,cliffordwolf/yosys,swallat/yosys,azonenberg/yosys,azonenberg/yosys,swallat/yosys