From c88aa571002f0dd713158f8b80bfeacbd0a69569 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Mon, 17 Dec 2018 17:05:22 -0500
Subject: When using a file cache, add plugin-loading code (for SHA512) to tops
 of .sql files

---
 src/settings.sig | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/settings.sig')

diff --git a/src/settings.sig b/src/settings.sig
index 6ba7e96a..f94525bb 100644
--- a/src/settings.sig
+++ b/src/settings.sig
@@ -220,7 +220,9 @@ signature SETTINGS = sig
          nestedRelops : bool,
          windowFunctions : bool,
          supportsIsDistinctFrom : bool,
-         supportsSHA512 : bool
+         supportsSHA512 : string option (* If supported, give the SQL code to
+                                         * enable the feature in a particular
+                                         * database. *)
     }
 
     val addDbms : dbms -> unit
-- 
cgit v1.2.3