From 4d61e5cd995b2c592ae51936fe0e5979ab2a4e6f Mon Sep 17 00:00:00 2001
From: Mihail Fedorov <mihail@fedorov.net>
Date: Sat, 25 Aug 2018 04:15:55 +0300
Subject: [PATCH] CCL

---
 src/ac/ccl   | 2 ++
 src/fiat/ccl | 2 ++
 2 files changed, 4 insertions(+)
 create mode 100755 src/ac/ccl
 create mode 100755 src/fiat/ccl

diff --git a/src/ac/ccl b/src/ac/ccl
new file mode 100755
index 000000000..c3d03a0a4
--- /dev/null
+++ b/src/ac/ccl
@@ -0,0 +1,2 @@
+#!/bin/bash
+./komodo-cli -ac_name=CCL $1 $2 $3 $4 $5 $6
diff --git a/src/fiat/ccl b/src/fiat/ccl
new file mode 100755
index 000000000..c3d03a0a4
--- /dev/null
+++ b/src/fiat/ccl
@@ -0,0 +1,2 @@
+#!/bin/bash
+./komodo-cli -ac_name=CCL $1 $2 $3 $4 $5 $6