From ec675f01a756e678475a81fea53701262f904817 Mon Sep 17 00:00:00 2001
From: David Harris <david_harris@hmc.edu>
Date: Sun, 29 Jan 2023 11:40:08 -0800
Subject: [PATCH] Missing files related to rv32imc config

---
 .gitignore       | 31 -------------------------------
 synthDC/Makefile |  2 +-
 2 files changed, 1 insertion(+), 32 deletions(-)

diff --git a/.gitignore b/.gitignore
index 609ef148..3a8e8be9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -81,37 +81,6 @@ synthDC/runArchive
 synthDC/hdl
 /pipelined/regression/power.saif
 tests/fp/vectors/*.tv
-# Temporary configs produced for synthesis
-pipelined/config/rv32e_FPUoff
-pipelined/config/rv32e_PMP0
-pipelined/config/rv32e_PMP16
-pipelined/config/rv32e_noMulDiv
-pipelined/config/rv32e_noPriv
-pipelined/config/rv32e_orig
-pipelined/config/rv32gc_FPUoff
-pipelined/config/rv32gc_PMP0
-pipelined/config/rv32gc_PMP16
-pipelined/config/rv32gc_noMulDiv
-pipelined/config/rv32gc_noPriv
-pipelined/config/rv32gc_orig
-pipelined/config/rv32ic_FPUoff
-pipelined/config/rv32ic_PMP0
-pipelined/config/rv32ic_PMP16
-pipelined/config/rv32ic_noMulDiv
-pipelined/config/rv32ic_noPriv
-pipelined/config/rv32ic_orig
-pipelined/config/rv64gc_FPUoff
-pipelined/config/rv64gc_PMP0
-pipelined/config/rv64gc_PMP16
-pipelined/config/rv64gc_noMulDiv
-pipelined/config/rv64gc_noPriv
-pipelined/config/rv64gc_orig
-pipelined/config/rv64ic_FPUoff
-pipelined/config/rv64ic_PMP0
-pipelined/config/rv64ic_PMP16
-pipelined/config/rv64ic_noMulDiv
-pipelined/config/rv64ic_noPriv
-pipelined/config/rv64ic_orig
 synthDC/Summary.csv
 pipelined/srt/exptestgen
 pipelined/srt/testgen
diff --git a/synthDC/Makefile b/synthDC/Makefile
index 81d98225..8ad8b438 100755
--- a/synthDC/Makefile
+++ b/synthDC/Makefile
@@ -45,7 +45,7 @@ default:
 	@echo "Use wallySynth.py to run a concurrent sweep "
 
 
-DIRS32 = rv32e rv32gc rv32ic rv32i
+DIRS32 = rv32e rv32gc rv32imc rv32i
 DIRS64 = rv64i rv64gc
 DIRS = $(DIRS32) $(DIRS64)