Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
de7e06fa
Commit
de7e06fa
authored
Dec 22, 2015
by
MARCHE Claude
Browse files
Distribute non-free files into a separate why3-extra archive
parent
b7bd7269
Changes
3
Hide whitespace changes
Inline
Side-by-side
.gitattributes
View file @
de7e06fa
/examples/in_progress/ export-ignore
/examples/hoare_logic/draft/ export-ignore
/tests/ export-ignore
/bench/encoding/ export-ignore
/share/images/boomy/ export-ignore
/share/images/boomy.rc export-ignore
/share/javascript/ export-ignore
/misc/ export-ignore
/ROADMAP export-ignore
/DEVELOPER.readme export-ignore
/opam/ export-ignore
.gitignore export-ignore
.gitattributes export-ignore
/check.sh export-ignore
/.merlin.in export-ignore
/TODO export-ignore
CHANGES
View file @
de7e06fa
...
...
@@ -38,6 +38,10 @@ Provers
o support for Zenon 0.8.0 (released Oct 21, 2014)
o support for Zenon_modulo 0.4.1 (released Jul 2, 2015)
Distribution
o non-free files are distributed in an extra tar file: "boomy" icon set,
javascript helpers for "why3 session html --style jstree"
Version 0.86.2, October 13, 2015
================================
...
...
Makefile.in
View file @
de7e06fa
...
...
@@ -1909,68 +1909,23 @@ wc:
#########
NAME
=
why3-@VERSION@
# see .gitattributes for the list of files that are not distributed
EXTRA_DIST
=
configure doc/manual.pdf
MORE_DIST
=
configure doc/manual.pdf
EXTRANAME
=
why3-extra-@VERSION@
EXTRA_DIST
=
share/images/boomy.rc share/images/boomy share/javascript
dist
:
$(
EXTRA
_DIST)
dist
:
$(
MORE
_DIST)
rm
-rf
distrib/
$(NAME)
/ distrib/
$(NAME)
.tar.gz
rm
-rf
distrib/
$(EXTRANAME)
/ distrib/
$(EXTRANAME)
.tar.gz
mkdir
-p
distrib/
git archive
--format
tar
--prefix
$(NAME)
/ HEAD |
tar
x
-C
distrib/
for
f
in
$(
EXTRA
_DIST)
;
do
cp
$$
f distrib/
$(NAME)
/
$$
f
;
done
for
f
in
$(
MORE
_DIST)
;
do
cp
$$
f distrib/
$(NAME)
/
$$
f
;
done
cd
distrib
;
tar
cf
$(NAME)
.tar
$(NAME)
;
gzip
-f
--best
$(NAME)
.tar
mkdir
distrib/
$(EXTRANAME)
cp
-r
$(EXTRA_DIST)
distrib/
$(EXTRANAME)
cd
distrib
;
tar
cf
$(EXTRANAME)
.tar
$(EXTRANAME)
;
gzip
-f
--best
$(EXTRANAME)
.tar
# distrib export: source export-doc export-www export-examples export-examples-c linux
#
# export-www:
# echo "<#def version>$(VERSION)</#def>" > /users/demons/filliatr/www/why/version.prehtml
# echo "<#def cversion>$(CVERSION)</#def>" >> /users/demons/filliatr/www/why/version.prehtml
# $(MAKE) -C /users/demons/filliatr/www/why install
#
#
# tarball:
# mkdir -p export
# cd export; rm -rf $(NAME) $(NAME).tar.gz
# $(MAKE) export/$(NAME).tar.gz
#
# EXFILES = lib/coq*/*.v examples/*/*.v examples/*/*.mlw
#
# export-examples:
# cp --parents $(EXFILES) $(WWW)
# $(MAKE) -C $(WWW)/examples clean depend
# echo "*** faire make all dans $(WWW)/examples ***"
#
# export-examples-c:
# mkdir -p $(WWW)/caduceus/examples
# cd examples-c; cp --parents */*.c */*.h $(WWW)/caduceus/examples
# mkdir -p $(WWW)/caduceus/examples/bench
# cp bench/c/good/*.c $(WWW)/caduceus/examples/bench
# rm -f $(WWW)/caduceus/examples/bench/test.c
#
# export-doc: $(DOC)
# cp doc/manual.ps doc/manual.html $(WWW)/manual
# cp doc/logic_syntax.bnf $(WWW)/manual
# (cd $(WWW)/manual; hacha manual.html)
# cp doc/caduceus.ps doc/caduceus.html $(WWW)/caduceus/manual
# (cd $(WWW)/caduceus/manual; hacha caduceus.html)
# cp doc/krakatoa.pdf doc/krakatoa.html $(WWWKRAKATOA)/manual
# (cd $(WWWKRAKATOA)/manual; hacha krakatoa.html)
#
# OSTYPE ?= linux
#
# BINARYNAME = $(NAME)-$(OSTYPE)
#
# linux: binary
#
# ALLBINARYFILES = $(FILES) $(BINARYFILES)
#
# binary: $(ALLBINARYFILES)
# mkdir -p export/$(BINARYNAME)
# cp --parents $(ALLBINARYFILES) export/$(BINARYNAME)
# (cd export; tar czf $(BINARYNAME).tar.gz $(BINARYNAME))
# cp export/$(BINARYNAME).tar.gz $(FTP)
###############
# file headers
###############
...
...
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