RIOT-OS/RIOT
RIOT-OS/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
Code Releases Activity

Merge pull request #2484 from phiros/pkg_desvirt

Browse Source 
dist: add desvirt
This commit is contained in:
Philipp Rosenkranz 2015-04-30 11:02:56 +02:00
commit 86d44970c7
3 changed files with 36 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
dist/tools/desvirt/.gitignore vendored Normal file
View File

@ -0,0 +1 @@
/desvirt

BIN
dist/tools/desvirt/0001-add-example-topology.patch vendored Normal file
View File

Binary file not shown.

35
dist/tools/desvirt/Makefile vendored Normal file
View File

@ -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)