rename all micng to mic
[tools/mic.git] / Makefile
1 PYTHON ?= python
2 VERSION = $(shell cat VERSION)
3 TAGVER = $(shell cat VERSION | sed -e "s/\([0-9\.]*\).*/\1/")
4
5 PKGNAME = mic
6
7 ifeq ($(VERSION), $(TAGVER))
8         TAG = $(TAGVER)
9 else
10         TAG = "HEAD"
11 endif
12
13 ifndef PREFIX
14     PREFIX = "/usr/local"
15 endif
16
17 all:
18         $(PYTHON) setup.py build
19
20 dist-bz2:
21         git archive --format=tar --prefix=$(PKGNAME)-$(TAGVER)/ $(TAG) | \
22                 bzip2  > $(PKGNAME)-$(TAGVER).tar.bz2
23
24 dist-gz:
25         git archive --format=tar --prefix=$(PKGNAME)-$(TAGVER)/ $(TAG) | \
26                 gzip  > $(PKGNAME)-$(TAGVER).tar.gz
27
28 install: all
29         $(PYTHON) setup.py install  --prefix=$(DESTDIR)/$(PREFIX)
30
31 develop: all
32         $(PYTHON) setup.py develop
33
34 clean:
35         rm -f tools/*.py[co]
36         rm -rf *.egg-info
37         rm -rf build/
38         rm -rf dist/