From ef85245f159402fd948ff045b56ad9095d22b39e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Tue, 3 Feb 2015 20:57:20 +0100
Subject: Implementing main loop

These new scripts are part of main loop.
kernel is not finished!!

Divides kconfig_parser, sat_solution to better named modules.
Phasing and iteration is implemented for loop watching.
---
 scripts/solution_kconfig | 38 --------------------------------------
 1 file changed, 38 deletions(-)
 delete mode 100755 scripts/solution_kconfig

(limited to 'scripts/solution_kconfig')

diff --git a/scripts/solution_kconfig b/scripts/solution_kconfig
deleted file mode 100755
index 7f9e5dd..0000000
--- a/scripts/solution_kconfig
+++ /dev/null
@@ -1,38 +0,0 @@
-#!/bin/bash
-
-SAT_FOLDER="$1"
-CONF="$2"
-LINKER="$1/linker"
-SOLUTION="$1/solution"
-
-SAT=`head -1 "$SOLUTION"`
-SOL=`tail -1 "$SOLUTION"`
-
-if [[ ! -w "$CONF" ]]; then
-	echo "No file \"$CONF\"" >&2
-	exit 1
-fi
-
-if [[ "$SAT" != "SAT" ]]; then
-	echo "No solution" >&2
-	exit 1
-fi
-
-for exp in $SOL; do
-	if [[ "$exp" != "0" ]]; then
-		if [[ `echo "$exp" | head -c 1` = "-" ]]; then
-			exp=`echo "$exp" | cut -c 2-`
-			not="n"
-		else
-			not="y"
-		fi
-		lnk=`grep -e "^$exp:" "$LINKER" | sed 's/^[0-9]*\://'`
-		if [[ "$lnk" != NONAMEGEN* ]]; then # Ignore no name configs
-			if [[ -z `grep "^CONFIG_$lnk" "$CONF"` ]]; then
-				echo "CONFIG_$lnk=$not" >> "$CONF"
-			else
-				sed "s/^CONFIG_$lnk=.*/CONFIG_$lnk=$not/" "$CONF" > "$CONF"
-			fi
-		fi
-	fi
-done
-- 
cgit v1.2.3