From ae5ee4b07dc3d3c792e7fe7f382ff490dd28aca4 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 21 Apr 2021 10:21:34 -0700
Subject: Goodbye CVC4, hello cvc5! (#6371)

This commits changes the build system to cvc5 and removes the remaining
occurrences of CVC4. It further cleans up outdated/unused scripts in contrib/.
---
 contrib/optionsskel/DIR_options.toml | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100644 contrib/optionsskel/DIR_options.toml

(limited to 'contrib/optionsskel')

diff --git a/contrib/optionsskel/DIR_options.toml b/contrib/optionsskel/DIR_options.toml
deleted file mode 100644
index 09f44fde7..000000000
--- a/contrib/optionsskel/DIR_options.toml
+++ /dev/null
@@ -1,8 +0,0 @@
-#
-# Option specification file for CVC4
-# See src/options/README for a description of this file format
-#
-
-id     = "$id"
-name   = "$camel"
-header = "options/$dir_options.h"
-- 
cgit v1.2.3