-
Notifications
You must be signed in to change notification settings - Fork 4
/
.jenkins.sh
26 lines (22 loc) · 1.12 KB
/
.jenkins.sh
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
opam pin add --no-action eliom 'https://github.com/ocsigen/eliom.git#master'
opam pin add --no-action ocsigenserver 'https://github.com/ocsigen/ocsigenserver.git#master'
#opam pin add --no-action deriving 'https://github.com/ocsigen/deriving.git#master'
opam pin add --no-action js_of_ocaml 'https://github.com/ocsigen/js_of_ocaml.git#master'
opam pin add --no-action ojquery 'https://github.com/ocsigen/ojquery.git#master'
opam pin add --no-action reactiveData 'https://github.com/ocsigen/reactiveData.git#master'
opam pin add --no-action text 'https://github.com/vbmithr/ocaml-text.git#master'
opam pin add --no-action ocsigen-toolkit 'https://github.com/ocsigen/ocsigen-toolkit.git#master'
opam pin add --no-action ocsigen-widgets .
opam install --deps-only ocsigen-widgets
opam install --verbose ocsigen-widgets
do_build_doc () {
make doc
cp -Rf doc/manual-wiki/*.wiki ${MANUAL_SRC_DIR}
mkdir -p ${API_DIR}/server ${API_DIR}/client
cp -Rf doc/server/wiki/*.wiki ${API_DIR}/server/
cp -Rf doc/client/wiki/*.wiki ${API_DIR}/client/
# cp -Rf doc/index.wiki ${API_DIR}/
}
do_remove () {
opam remove --verbose ocsigen-widgets
}