Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
0061284e
Commit
0061284e
authored
Nov 20, 2007
by
Pietro Abate
Browse files
Website Makefile
parent
dbe07edc
Changes
1
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
0061284e
...
...
@@ -26,17 +26,6 @@ profile: misc/q_symbol.cmo
$(MAKE)
cduce
PROFILE
=
true
SYNTAX_PARSER
=
NATIVE
=
false
)
# Site-specific installation
charme_build
:
rsh charme
". .env; cd IMPLEM/CDUCE;
$(MAKE)
webiface webpages"
scp CHANGES INSTALL INSTALL.WIN32 web/www/
*
.html web/cduce.css cduce@iris:public_html/
scp webiface cduce@iris:cgi-bin/cduce
install_web_distant
:
$(MAKE)
webpages
rsync
-acvz
CHANGES INSTALL INSTALL.WIN32 web/www/
*
.html web/demo.js web/cduce.css cduce@trefle.ens.fr:public_html/
SCRIPT
=
INCLUDES_DEB
=
$(INCLUDES)
$(
shell
ocamlfind query
-i-format
-recursive
$(PACKAGES)
)
DEBUGGER
=
ocamldebug
...
...
@@ -59,31 +48,12 @@ package: clean
mkdir
$(PACKAGE)
cp
-R
$(DISTRIB)
$(PACKAGE)
/
cp
Makefile.distrib
$(PACKAGE)
/Makefile
mkdir
-p
$(PACKAGE)
/web/img
(
cd
web
;
cp
-R
$(DISTRIB_DOC)
../
$(PACKAGE)
/web
;
\
cd
img
;
cp
left.gif right.gif ../../
$(PACKAGE)
/web/img
)
(
cd
$(PACKAGE)
;
\
rm
-f
types/IDEAS
;
\
for
F
in
$(DEPEND)
;
do
headache
-h
../header
$$
F
;
done
)
tar
czf
$(PACKAGE)
.tar.gz
--exclude
CVS
--exclude
".#*"
$(PACKAGE)
tar
czf
$(PACKAGE)
.tar.gz
--exclude
.svn
--exclude
".#*"
$(PACKAGE)
rm
-Rf
$(PACKAGE)
upload
:
scp
$(PACKAGE)
.tar.gz cduce@di.ens.fr:public_html/download
#cvs_snapshot:
# $(MAKE) package VERSION=cvs`date +%Y%m%d`
MSTONE
=
3
cvs_snapshot
:
(
cd
/tmp
;
\
rm
-Rf
cduce
;
\
cvs
-z3
-d
":pserver:anonymous@cvs.cduce.org:/cvsroot"
co cduce
;
\
tar
czf cduce-cvs
$(MSTONE)
.tar.gz cduce
;
\
rm
-Rf
cduce
;
\
scp cduce-cvs
$(MSTONE)
.tar.gz cduce@iris.ens.fr:public_html/download
;
\
rm
-f
cduce-cvs
$(MSTONE)
.tar.gz
)
OCAML_STDLIBDIR
:=
$(
shell
ocamlc
-where
)
.PHONY
:
.ocamlinit
.ocamlinit
:
...
...
@@ -125,44 +95,26 @@ cvs_snapshot_bin: clean
test
:
$(MAKE)
-C
tests
test
############ CGI DEMO ###################
# Web site
cgi
:
webiface evaluator
driver/examples.ml
:
cduce web/xhtml.cdo web/examples/build.cd web/examples/examples.xml
(
cd
web/examples
;
../../cduce build.cd
-I
..
--arg
examples.xml
)
web_fetch_tralala
:
wget
-O
web/tralala_documents_lille.inc http://www.grappa.univ-lille3.fr/bibtex/tralalamachine.php
webpages
:
cduce web/site.cdo
(
cd
web
;
../cduce
--run
site.cdo
--arg
site.xml
)
website
:
webpages webiface evaluator
install_web
:
website
cp
web/www/
*
.html web/demo.js web/cduce.css
$(HTML_DIR)
/
cp
CHANGES INSTALL INSTALL.WIN32
$(HTML_DIR)
/
cp
webiface
$(CGI_DIR)
/cduce
cp
evaluator
$(CGI_DIR)
/demo_evaluator
if
test
!
-d
"
$(HTML_DIR)
/img"
;
then
\
mkdir
$(HTML_DIR)
/img
;
\
fi
;
cp
web/img/
*
.
*
$(HTML_DIR)
/img
(cd
web/examples;
../../cduce
build.cd
-I
..
--arg
examples.xml)
WEBIFACE
=
$(OBJECTS)
driver/examples.cmo driver/webiface.cmo
EVALUATOR
=
$(OBJECTS)
driver/evaluator.cmo
webiface
:
$(WEBIFACE:.cmo=.$(EXTENSION))
@
echo
"Build
$@
"
$(HIDE)$(LINK)
-verbose
$(INCLUDES)
-o
$@
$^
$(EXTRA_OPTS_WEBIFACE)
@echo
"Build $@"
$(HIDE)$(LINK)
-verbose
$(INCLUDES)
-o
$@
$^
$(EXTRA_OPTS_WEBIFACE)
evaluator
:
$(EVALUATOR:.cmo=.$(EXTENSION))
@
echo
"Build
$@
"
$(HIDE)$(LINK)
-verbose
$(INCLUDES)
-o
$@
$^
$(EXTRA_OPTS_WEBIFACE)
@echo
"Build $@"
$(HIDE)$(LINK)
-verbose
$(INCLUDES)
-o
$@
$^
$(EXTRA_OPTS_WEBIFACE)
# webiface can be made static to be able to move it more easily
# (to compile it on a machine which is not the web server)
# Seems to be some problems with statically linking curl
# EXTRA_OPTS_WEBIFACE += -ccopt -static
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