blob: 10aa6f0212c3c3c3c13bd0b6d10773e5c06c1c6b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
UPSTREAM_GIT=https://github.com/pika/pika.git
REVISION=1.1.0
LIB_DIR=pika
CHECKOUT_DIR=pika-$(REVISION)
TARGETS=$(LIB_DIR)
all: $(TARGETS)
clean:
rm -rf $(LIB_DIR)
distclean: clean
rm -rf $(CHECKOUT_DIR)
$(LIB_DIR) : $(CHECKOUT_DIR)
rm -rf $@
cp -R $< $@
$(CHECKOUT_DIR):
git clone --depth 1 --branch $(REVISION) $(UPSTREAM_GIT) $@ || \
(rm -rf $@; exit 1)
echo-revision:
@echo $(REVISION)
|