summaryrefslogtreecommitdiff
path: root/riscv
diff options
context:
space:
mode:
authorAlasdair Armstrong2018-03-13 19:01:55 +0000
committerAlasdair Armstrong2018-03-14 15:30:02 +0000
commit4c3579a6e4bd10e05f381235e4827b945553d0c1 (patch)
treecbf922f436ef93a4daa806a9f04b9d2266bc09e0 /riscv
parent1c1f330947fad0a6aa010759bd994fe399ca3923 (diff)
Fix toplevel pattern compilation
Comment out partially working optimisation passes for now
Diffstat (limited to 'riscv')
-rw-r--r--riscv/riscv_all.sail5
1 files changed, 5 insertions, 0 deletions
diff --git a/riscv/riscv_all.sail b/riscv/riscv_all.sail
new file mode 100644
index 00000000..f331b348
--- /dev/null
+++ b/riscv/riscv_all.sail
@@ -0,0 +1,5 @@
+$include "prelude.sail"
+$include "riscv_types.sail"
+$include "riscv_sys.sail"
+$include "riscv.sail"
+$include "main.sail"