Nous avons procédé ce jeudi matin 08 avril 2021 à une MAJ de sécurité urgente. Nous sommes passé de la version 13.9.3 à la version 13.9.5 les releases notes correspondantes sont ici:
https://about.gitlab.com/releases/2021/03/17/security-release-gitlab-13-9-4-released/
https://about.gitlab.com/releases/2021/03/31/security-release-gitlab-13-10-1-released/

Commit 45f47630 authored by Gérard Huet's avatar Gérard Huet

clean up of MMakefile

parent 82a432cf
......@@ -215,8 +215,8 @@ UTIL=ML/Makefile $(ML_COPYRIGHT) ML/.ocamlinit ML/.depend
# CORE package - utilities, transducers, sanskrit and french lexers, dico spec
DISTR_CORE=ML/control.ml ML/dico.mli ML/version.ml ML/date.ml ML/install.ml \
ML/canon.ml ML/transduction.ml ML/encode.ml ML/order.ml ML/padapatha \
ML/sanskrit.mli ML/sanskrit.ml ML/french.mli ML/french.ml ML/skt_lexer.ml
ML/canon.ml ML/transduction.ml ML/encode.ml ML/order.ml ML/padapatha.ml \
ML/sanskrit.mli ML/sanskrit.ml ML/skt_lexer.ml
CORE=$(DISTR_CORE) ML/paths.ml
# GRAM package - phonetics, morphology, segmentation and tagging engines
......@@ -575,7 +575,7 @@ software_doc: # needs to have ocamlweb installed
# Note cp -p used instead of tar for incrementality
distr_engine: # distribution of packages CORE GRAM abd WEB under SOFT_LICENSE
rm -rf DISTR
cd $(STAT); cat stats.txt >> distribs # recording of statistics
# cd $(STAT); cat stats.txt >> distribs # recording of statistics
mkdir DISTR # Distribution directory
mkdir DISTR/ML # Source code library for all packages
mkdir DISTR/SETUP # SETUP directory
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment