Skip to content

GitLab

why3
why3

Mise à jour terminée. Pour connaître les apports de la version 13.8.4 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :
https://about.gitlab.com/releases/2021/02/11/security-release-gitlab-13-8-4-released/
https://about.gitlab.com/releases/2021/02/05/gitlab-13-8-3-released/

Commit 342d141c authored by MARCHE Claude's avatar MARCHE Claude
Browse files
Options

mode emacs

parent f95fc729
Hide whitespace changes
Inline Side-by-side
Showing with 2 additions and 0 deletions
Makefile.in
View file @ 342d141c
......@@ -223,6 +223,7 @@ install_no_local::
mkdir -p $(BINDIR)
mkdir -p $(LIBDIR)/why3
mkdir -p $(DATADIR)/why3/images
mkdir -p $(DATADIR)/why3/emacs
mkdir -p $(DATADIR)/why3/lang
mkdir -p $(DATADIR)/why3/theories
mkdir -p $(DATADIR)/why3/theories/transform
......@@ -232,6 +233,7 @@ install_no_local::
cp -f drivers/*.drv $(DATADIR)/why3/drivers
cp -f share/provers-detection-data.conf $(DATADIR)/why3/
cp -f share/images/*.png $(DATADIR)/why3/images
cp -f share/emacs/why.el $(DATADIR)/why3/emacs/why.el
cp -f share/lang/why.lang $(DATADIR)/why3/lang/why.lang
ifeq ("@ENABLE_LOCAL@","no")
......
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