Maj terminée. Pour consulter la release notes associée voici le lien :
https://about.gitlab.com/releases/2021/07/07/critical-security-release-gitlab-14-0-4-released/

Une nouvelle version du portail de gestion des comptes externes sera mise en production lundi 09 août. Elle permettra d'allonger la validité d'un compte externe jusqu'à 3 ans. Pour plus de détails sur cette version consulter : https://doc-si.inria.fr/x/FCeS

Makefile 405 Bytes
Newer Older
Glen Mével's avatar
Glen Mével committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
# https://blog.zhenzhang.me/2016/09/19/coq-dev.html

# Makefile originally taken from coq-club

%: Makefile.coq phony
	+make -f Makefile.coq $@

all: Makefile.coq
	+make -f Makefile.coq all

clean: Makefile.coq
	+make -f Makefile.coq clean
	rm -f Makefile.coq

Makefile.coq: _CoqProject Makefile
16
	coq_makefile -f _CoqProject -o Makefile.coq
Glen Mével's avatar
Glen Mével committed
17 18 19 20 21 22 23 24

_CoqProject: ;

Makefile: ;

phony: ;

.PHONY: all clean phony