diff options
-rwxr-xr-x | configure | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -842,6 +842,12 @@ BACKENDLIB=Machblock.v Machblockgen.v Machblockgenproof.v\\ EOF fi +if [ "$arch" = "riscV" ] ; then +cat >> Makefile.config <<EOF +BACKENDLIB=Asmgenproof0.v Asmgenproof1.v ExtValues.v +EOF +fi + # # Generate Merlin and CoqProject files to simplify development # |