From: Karel Kočí <cynerd@email.cz>
Date: Fri, 18 Sep 2015 07:31:18 +0000 (+0200)
Subject: Add scripts buildcnf
X-Git-Tag: v201509~10
X-Git-Url: http://rtime.felk.cvut.cz/gitweb/linux-conf-perf.git/commitdiff_plain/b586251381a96c97b19ce52792d649b537014126

Add scripts buildcnf

This script is for debugging purposes only. It should be launched only
in jobfiles folder and it's generating file cnf.
---

diff --git a/scripts/buildcnf b/scripts/buildcnf
new file mode 100755
index 0000000..fdcf217
--- /dev/null
+++ b/scripts/buildcnf
@@ -0,0 +1,12 @@
+#!/bin/bash
+# This is simple scripts created for generating input file for PicoSAT in jobfiles folder.
+# Tis script is generating file cnf from files fixed and rules and add format head.
+# This script is for debugging purposes.
+
+sed 's/$/ 0/' fixed > cnf
+sed 's/$/0/' rules >> cnf
+
+LINE=`wc -l cnf | awk '{print $1}'`
+VARS=`head -1 variable_count`
+
+sed  -i "1ip cnf $VARS $LINE" cnf