From d32955030937937706b71a96dc6584800f0b8722 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Thu, 16 Sep 2021 11:03:40 +0200
Subject: Refactor clightgen

Split reusable parts of ExportClight.ml off, into
ExportBase.ml and ExportCtypes.ml.

Rename exportclight/ directory to export/
---
 configure | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index b342b143..10f60262 100755
--- a/configure
+++ b/configure
@@ -770,7 +770,7 @@ S backend
 S cfrontend
 S driver
 S debug
-S exportclight
+S export
 S cparser
 S extraction
 
@@ -781,7 +781,7 @@ B backend
 B cfrontend
 B driver
 B debug
-B exportclight
+B export
 B cparser
 B extraction
 EOF
-- 
cgit