alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

use wget or curl according to what is available

Browse source 
* doc/Makefile.am, elisp/Makefile.am: here.
* HACKING: add missing requirements.
This commit is contained in:
Etienne Renault 2017-01-31 16:09:07 +01:00 • committed by Alexandre Duret-Lutz
parent 63116ff79c
commit 4fdaf0e14e
3 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

1
HACKING
View file

@ -38,6 +38,7 @@ since the generated files they produce are distributed.)
Python >= 3.3, IPython >= 2.3 Python >= 3.3, IPython >= 2.3
GraphViz GraphViz
Java >= 1.7 (needed to run PlantUML while generating the doc) Java >= 1.7 (needed to run PlantUML while generating the doc)
wget or curl (needed to download PlantUML)
The following additional tools are used if they are present, or The following additional tools are used if they are present, or
only for certain operations (like releases): only for certain operations (like releases):

2
doc/Makefile.am
View file

@ -62,7 +62,7 @@ org:
$(EMACS) --batch -Q -l org/init.el $(EMACS) --batch -Q -l org/init.el
org/plantuml.jar: org/plantuml.jar:
wget http://downloads.sourceforge.net/project/plantuml/plantuml.jar -O org/plantuml.jar wget http://downloads.sourceforge.net/project/plantuml/plantuml.jar -O org/plantuml.jar || curl http://downloads.sourceforge.net/project/plantuml/plantuml.jar -o org/plantuml.jar
org-man: org-man:
mkdir -p $(srcdir)/userdoc/man mkdir -p $(srcdir)/userdoc/man

4
elisp/Makefile.am
View file

@ -1,5 +1,5 @@
## -*- coding: utf-8 -*- ## -*- coding: utf-8 -*-
## Copyright (C) 2015, 2016 Laboratoire de Recherche et Développement ## Copyright (C) 2015, 2016, 2017 Laboratoire de Recherche et Développement
## de l'Epita (LRDE). ## de l'Epita (LRDE).
## ##
## This file is part of Spot, a model checking library. ## This file is part of Spot, a model checking library.
@ -23,5 +23,5 @@ GIT = https://gitlab.lrde.epita.fr/spot/emacs-modes/raw/master/
.PHONY: update-el .PHONY: update-el
update-el: update-el:
wget $(GIT)/hoa-mode.el -O $(srcdir)/hoa-mode.el wget $(GIT)/hoa-mode.el -O $(srcdir)/hoa-mode.el || curl $(GIT)/hoa-mode.el -o $(srcdir)/hoa-mode.el
chmod a-w $(srcdir)/hoa-mode.el chmod a-w $(srcdir)/hoa-mode.el