Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
7
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
Why3
why3
Commits
cfc383cb
Commit
cfc383cb
authored
May 06, 2014
by
Jacques-Pascal Deplaix
Committed by
Jean-Christophe Filliâtre
May 13, 2014
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Install the emacs mode at the right place
parent
acc138fc
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
3 additions
and
2 deletions
+3
-2
Makefile.in
Makefile.in
+3
-2
No files found.
Makefile.in
View file @
cfc383cb
...
...
@@ -251,6 +251,7 @@ endif
mkdir
-p
$(DATADIR)
/why3/theories
mkdir
-p
$(DATADIR)
/why3/modules/mach
mkdir
-p
$(DATADIR)
/why3/drivers
mkdir
-p
$(DATADIR)
/emacs/site-lisp/
cp
-f
theories/
*
.why
$(DATADIR)
/why3/theories
cp
-f
modules/
*
.mlw
$(DATADIR)
/why3/modules
cp
-f
modules/mach/
*
.mlw
$(DATADIR)
/why3/modules/mach
...
...
@@ -262,9 +263,9 @@ endif
cp
-f
share/images/fatcow/
*
.png
$(DATADIR)
/why3/images/fatcow
cp
-f
share/why3session.dtd
$(DATADIR)
/why3
cp
-rf
share/javascript
$(DATADIR)
/why3/javascript
cp
-f
share/emacs/why3.el
$(DATADIR)
/
why3/
emacs/why3.el
cp
-f
share/emacs/why3.el
$(DATADIR)
/emacs
/site-lisp
/why3.el
ifneq
($(EMACS),no)
cp
-f
share/emacs/why3.elc
$(DATADIR)
/
why3/
emacs/why3.elc
cp
-f
share/emacs/why3.elc
$(DATADIR)
/emacs
/site-lisp
/why3.elc
endif
cp
-f
share/vim/why3.vim
$(DATADIR)
/why3/vim/why3.vim
cp
-f
share/lang/why3.lang
$(DATADIR)
/why3/lang/why3.lang
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment