build: Replace stamps-based targets for tarball extraction by file targets

This is more robust as it updates the targets when a prerequisite changed.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Merge stp-copy rules via patterns.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Add a separate rule to create the stamps directory

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Create directories through dependencies instead of recipe commands

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Simplify qemu dependency declaration wrt klee

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Integrate number of jobs to run into MAKE variable

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Replace manual directory changes by recursive Make invocations

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Simplify klee-configure dependencies.

S2E handles target dependencies through stamps, there is no sense in
excluding KLEE's dependency on stp from this scheme.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Do not let configure targets depend on build targets.

Otherwise the configure targets are always run as their stamps are
older than the compile targets' stamps, which in turn triggers
spurious rebuilds.

Ensuring proper dependencies between the compile targets should be
sufficient to have everything build and rebuild in the correct order.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Reorder foo-make target dependencies to ensure correct ordering.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Introduce consistent naming scheme for compile/configure targets

This will help in refactoring the target recipes.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Introduce a pattern rule for compilation targets

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Introduce a pattern rule for configuration targets

Signed-off-by: Diego Biurrun <diego@biurrun.de>
qemu/s2e: Add InstructionTracker example plugin

Signed-off-by: Diego Biurrun <diego@biurrun.de>
qemu/s2e: Add MyClient example plugin for handling periodic events.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
qemu/s2e: Add StateInstructionTracker example plugin
qemu/s2e: Add PerStateOutput plugin (WIP)

Signed-off-by: Diego Biurrun <diego@biurrun.de>
qemu/s2e: Add Foo toy plugin

Signed-off-by: Diego Biurrun <diego@biurrun.de>
qemu/s2e: Add bar variant of foo plugin to save in-flight network packets