From 530150b34aa7dd901fe64698e6de3345588a0390 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Thu, 14 May 2015 17:35:48 +0200
Subject: Clean makefile and remove dependency on buildroot initram

Removing dependency can lead to problems.
But if buildroot should not be forced for possible alternatives.
---
 Makefile | 14 ++------------
 1 file changed, 2 insertions(+), 12 deletions(-)

diff --git a/Makefile b/Makefile
index 129403f..8db7609 100644
--- a/Makefile
+++ b/Makefile
@@ -47,10 +47,10 @@ init: initialize
 initialize: parse_kconfig picosat
 	scripts/initialize.py
 
-test: $(BUILDROOT_INITRAM) parse_kconfig
+test: parse_kconfig
 	scripts/test.py
 
-run: parse_kconfig write_config picosat $(BUILDROOT_INITRAM)
+run: parse_kconfig write_config picosat
 	scripts/loop.py
 
 evaluate:
@@ -93,9 +93,6 @@ write_config:
 permute:
 	@$(MAKE) -C scripts/permute/
 
-$(BUILDROOT_INITRAM): buildroot/.config buildroot/system/skeleton/usr/bin/linux-conf-perf
-	@$(MAKE) -C scripts/buildroot
-
 buildroot/.config:
 	cp $(BUILDROOT_DEF_CONFIG) $@
 
@@ -107,10 +104,3 @@ picosat: scripts/picosat-959/picosat
 scripts/picosat-959/picosat:
 	cd scripts/picosat-959 && ./configure
 	$(MAKE) -C scripts/picosat-959
-
-#######################################
-
-$(PHASE_FILE): initialize
-$(SYMBOL_MAP_FILE): initialize
-$(RULES_FILE): initialize
-$(VARIABLE_COUNT_FILE): initialize
-- 
cgit v1.2.3