customext_subproject_deps = \ spike_main \ riscv \ softfloat \ customext_srcs = \ dummy_rocc.cc \ cflush.cc \ customext_CFLAGS = -fPIC customext_install_shared_lib = yes