trying to make installation of softfloat-hs work even if it can't
trying to make installation of softfloat-hs work even if it can't

globally install softfloat C headers and libs

mit-plv/riscv-semantics,mit-plv/riscv-semantics,mit-plv/riscv-semantics,mit-plv/riscv-semantics,mit-plv/riscv-semantics