Update .gitignore
diff --git a/.gitignore b/.gitignore
index 04edfb0..01ea346 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,3 +6,4 @@
 *.lst
 *.vcd
 *.gtkw
+caravel/