Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Makefile.dev 1.42 KB
Newer Older
1
2
#######################################################################################
# Workflow:
3
4
5
# 
# 
# 
6
7
8

uv:update_version
update_version:
9
	git pull
10
11
	rm -f lutin/src/version.ml
	make lutin/src/version.ml
12
13
14
ifneq (,$(findstring -,$(VERSION)))
	echo "won't update _oasis"
else
15
16
17
	cp _oasis _oasis.save
	cat _oasis.save | sed "s/^Version:.*/Version:     $(VERSION)/" > _oasis
	make clean && make
18
endif
19

erwan's avatar
erwan committed
20
cia: test man cia-no-test 
21
cia-no-test:
22
	git commit -a -F log
23
24


25
push: opam-test
26
	git push 
erwan's avatar
erwan committed
27
28


29
amend:
30
	git commit -a -F log --amend 
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59

dif:
	git --no-pager diff  --color-words
diff:dodiff
	echo "il y a $(shell grep "+" diff.diff | wc -l) + et $(shell grep "-" diff.diff | wc -l) -"

dodiff:
	git diff HEAD -w  > diff.diff 


# diff of the lastly commited change
cdiff:
	git diff -w "HEAD^" HEAD > diff.diff


###############################
# tags

OTAGS=otags
# otags don't manage to parse gnuplotRif.ml
NO_TAGS=gnuplotRif.ml
tags:
	$(OTAGS) -v $(shell ocamlc -where)/*.mli  $(shell ls src/*.ml | grep -v $(NO_TAGS))


###############################
# opam-ing

NAME=lutin
60

61
62
63
64
65
opam-rel :
	make-opam-pack $(NAME)

opam-test :
	make-opam-pack $(NAME) -test
66

67
68
69
70
opam-pr:
	cp -rf $(OPAM_DIR) /home/jahier/local/opam-repository/packages/lutin/


71
.PHONY:install $(WWW)/pool/$(PACKNAME).tgz  $(WWWTEST)/pool/$(PACKNAME).tgz
72
73
74
75
76
77
78
79
80
oi:install
or:reinstall
ob:build
oc:clean
clean:
	ocaml setup.ml -clean
	rm -f setup.data
	cd polka; make clean
	cd lutin-utils/src/ ; make clean