Skip to content

Commit af110d2

Browse files
committed
prepare release
1 parent 9704fef commit af110d2

File tree

15 files changed

+8127
-41
lines changed

15 files changed

+8127
-41
lines changed

Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
# Generic Makefile for oasis project
77

88
# Set to setup.exe for the release
9-
SETUP := setup-dev.exe
9+
SETUP := setup.exe
1010

1111
# Default rule
1212
default: build

_tags

Lines changed: 49 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,4 +13,53 @@
1313
<src/camlp5/**/*.ml{,i}>: use_camlp5
1414

1515
# OASIS_START
16+
# DO NOT EDIT (digest: a0aa2417538db1190c17a7ef7c4bdc21)
17+
# Ignore VCS directories, you can use the same kind of rule outside
18+
# OASIS_START/STOP if you want to exclude directories that contains
19+
# useless stuff for the build process
20+
<**/.svn>: -traverse
21+
<**/.svn>: not_hygienic
22+
".bzr": -traverse
23+
".bzr": not_hygienic
24+
".hg": -traverse
25+
".hg": not_hygienic
26+
".git": -traverse
27+
".git": not_hygienic
28+
"_darcs": -traverse
29+
"_darcs": not_hygienic
30+
# Library optcomp
31+
"syntax/optcomp.cmxs": use_optcomp
32+
<syntax/*.ml{,i}>: pkg_camlp4
33+
<syntax/*.ml{,i}>: pkg_camlp4.quotations.o
34+
# Library utop
35+
"src/lib/utop.cmxs": use_utop
36+
<src/lib/*.ml{,i}>: pkg_findlib
37+
<src/lib/*.ml{,i}>: pkg_lambda-term
38+
<src/lib/*.ml{,i}>: pkg_lwt.syntax
39+
<src/lib/*.ml{,i}>: pkg_threads
40+
# Library utop-camlp4
41+
"src/camlp4/utop-camlp4.cmxs": use_utop-camlp4
42+
<src/camlp4/*.ml{,i}>: pkg_camlp4
43+
<src/camlp4/*.ml{,i}>: pkg_findlib
44+
<src/camlp4/*.ml{,i}>: pkg_lambda-term
45+
<src/camlp4/*.ml{,i}>: pkg_lwt.syntax
46+
<src/camlp4/*.ml{,i}>: pkg_threads
47+
<src/camlp4/*.ml{,i}>: use_utop
48+
# Executable utop
49+
"src/top/uTop_top.byte": pkg_findlib
50+
"src/top/uTop_top.byte": pkg_lambda-term
51+
"src/top/uTop_top.byte": pkg_lwt.syntax
52+
"src/top/uTop_top.byte": pkg_threads
53+
"src/top/uTop_top.byte": use_utop
54+
# Executable utop-full
55+
"src/top/uTop_top_full.byte": pkg_findlib
56+
"src/top/uTop_top_full.byte": pkg_lambda-term
57+
"src/top/uTop_top_full.byte": pkg_lwt.syntax
58+
"src/top/uTop_top_full.byte": pkg_threads
59+
"src/top/uTop_top_full.byte": use_utop
60+
<src/top/*.ml{,i}>: pkg_findlib
61+
<src/top/*.ml{,i}>: pkg_lambda-term
62+
<src/top/*.ml{,i}>: pkg_lwt.syntax
63+
<src/top/*.ml{,i}>: pkg_threads
64+
<src/top/*.ml{,i}>: use_utop
1665
# OASIS_STOP

configure

Lines changed: 23 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,27 @@
11
#!/bin/sh
22

33
# OASIS_START
4-
make configure CONFIGUREFLAGS="$*"
4+
# DO NOT EDIT (digest: dc86c2ad450f91ca10c931b6045d0499)
5+
set -e
6+
7+
FST=true
8+
for i in "$@"; do
9+
if $FST; then
10+
set --
11+
FST=false
12+
fi
13+
14+
case $i in
15+
--*=*)
16+
ARG=${i%%=*}
17+
VAL=${i##*=}
18+
set -- "$@" "$ARG" "$VAL"
19+
;;
20+
*)
21+
set -- "$@" "$i"
22+
;;
23+
esac
24+
done
25+
26+
ocaml setup.ml -configure "$@"
527
# OASIS_STOP

dist

Lines changed: 0 additions & 36 deletions
This file was deleted.

0 commit comments

Comments
 (0)