diff --git a/dist/tools/desvirt/.gitignore b/dist/tools/desvirt/.gitignore new file mode 100644 index 000000000000..9fda1e496c31 --- /dev/null +++ b/dist/tools/desvirt/.gitignore @@ -0,0 +1 @@ +/desvirt diff --git a/dist/tools/desvirt/0001-add-example-topology.patch b/dist/tools/desvirt/0001-add-example-topology.patch new file mode 100644 index 000000000000..8d2017ca5ed2 --- /dev/null +++ b/dist/tools/desvirt/0001-add-example-topology.patch @@ -0,0 +1,43 @@ +From 7a98a45da47846f0379cfbd477936f67a2af75b3 Mon Sep 17 00:00:00 2001 +From: Philipp Rosenkranz +Date: Thu, 2 Oct 2014 17:09:32 +0200 +Subject: [PATCH 1/1] add example topology + +--- + .desvirt/example.xml | 25 +++++++++++++++++++++++++ + 1 file changed, 25 insertions(+) + create mode 100644 .desvirt/example.xml + +diff --git a/.desvirt/example.xml b/.desvirt/example.xml +new file mode 100644 +index 0000000..e8d0244 +--- /dev/null ++++ b/.desvirt/example.xml +@@ -0,0 +1,25 @@ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ ++ +-- +1.9.1 diff --git a/dist/tools/desvirt/Makefile b/dist/tools/desvirt/Makefile new file mode 100644 index 000000000000..1739f176e6a7 --- /dev/null +++ b/dist/tools/desvirt/Makefile @@ -0,0 +1,35 @@ +PKG_NAME=desvirt +PKG_URL=https://github.com/des-testbed/desvirt.git +PKG_VERSION=master +PKG_DIR=$(CURDIR)/$(PKG_NAME) + +.PHONY: all clean patch distclean desvirtdefine + +all: clean $(PKG_NAME) patch desvirtdefine + +patch: + cd "$(PKG_DIR)" && git am --ignore-whitespace "$(CURDIR)"/*.patch + +desvirtdefine: patch + $(foreach topology,$(shell ls $(PKG_NAME)/.desvirt/*.xml), \ + cd $(PKG_NAME) && \ + ./vnet --define --name "$(basename $(notdir $(topology)))";) + +$(PKG_NAME): + # Get $(PKG_VERSION) of package from $(PKG_URL) + $(if $(wildcard $(PKG_NAME)),cd $(CURDIR)/$(PKG_NAME) && \ + git clean -x -f && \ + git reset --hard $(PKG_VERSION) \ + , git clone $(PKG_URL) $(PKG_NAME) && \ + cd $(PKG_NAME) && \ + git reset --hard $(PKG_VERSION)) + +clean:: + # Reset package to checkout state. + $(if $(wildcard $(PKG_NAME)),cd $(CURDIR)/$(PKG_NAME) && \ + git clean -x -f && \ + git reset --hard $(PKG_VERSION) \ + , ) + +distclean:: + rm -rf $(CURDIR)/$(PKG_NAME)