From 4192b5f46ff5dbe7a6ccc0929e2d339aaa0e7b71 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Tue, 23 Feb 2021 18:10:29 +0100
Subject: Separate target_op_simplify for riscV

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 9adeb6db..fd0595d4 100644
--- a/Makefile
+++ b/Makefile
@@ -133,6 +133,7 @@ BACKEND=\
   Mach.v \
   Bounds.v Stacklayout.v Stacking.v Stackingproof.v \
   Asm.v Asmgen.v Asmgenproof.v Asmaux.v \
+	RTLpathSE_simplify.v \
   $(BACKENDLIB)
 
 SCHEDULING= \
-- 
cgit