-
Notifications
You must be signed in to change notification settings - Fork 7
/
Copy pathpackages
129 lines (97 loc) · 6.02 KB
/
packages
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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
## Local Packages database for odb
## lines starting with # are comments
## Other lines have format
## <package-name> <key1>=<value1> <key2>=<value2> ...
## no whitespace is allowed except before each key
## the default place for this file is ~/.odb/packages
## Important keys:
## Package sources (at least one required)
## tarball - location of tarball, either local file or curl-able url
## dir - local directory to install from
## git - git repo to clone
## hg, darcs, svn - as git
## cvs, cvspath - CVSROOT and path within root to checkout (both needed)
## Optional keys
## inst_type - one of "app", "lib", "clib"; used to detect installed version
## deps - what other packages this package depends on. Comma separated
## list of package names, with optional version requirement in ().
## Supported comparators are =, >, and >=. Version ordering is
## complex to describe, but should be as expected.
## ex: deps=batteries(=2.0beta1),camlp4,bitstring(>=2.0.0)
## config - command line BETWEEN BRACES to configure the package
## this is only for packages using the
## (configure; make; make install) scheme, not for oasis or omake
## packages
## install_as_root - forces a particular package to be installed as --sudo
## branch - for git sources, checks out a particular branch (TODO on others)
## md5 - for tarball sources, the md5sum of the tarball as hex
## sha1 - sha1sum of the tarball as hex
## gpg - absolute path to a gnupg signature file or URL to download one
## Deprecated
## is_library - does this package install a findlib package. "true"/"false"
## is_program - does this package install an executable. "true"/"false"
######################
## WORKING PACKAGES (tested on Ubuntu/64 w/ OCaml 3.12.1)
## Submit an issue to https://github.com/thelema/odb/issues
## (or the package author) if it doesn't work for you.
######################
#batteries git (commented because batteries in oasis-db)
#batteries git=git://github.com/ocaml-batteries-team/batteries-included.git is_library=true
bitstring tarball=http://bitstring.googlecode.com/files/ocaml-bitstring-2.0.3.tar.gz is_library=true deps=camlp4
# Unison file synchronizer.
# Does not respect --prefix in configure, so installs executable in ~/bin
unison tarball=http://www.seas.upenn.edu/~bcpierce/unison//download/releases/stable/unison-2.40.63.tar.gz is_program=true deps=lablgtk2
easy-format git=https://github.com/mjambon/easy-format is_library=true
# Biniou - like json but better
## WARNING: requires root to install
biniou git=https://github.com/mjambon/biniou/ is_library=true install_as_root=true
yojson git=https://github.com/mjambon/yojson is_library=true install_as_root=true deps=easy-format,biniou,cppo
# atd - syntax for cross-language type definintions
## WARNING: requires root to install
atd git=git://github.com/MyLifeLabs/atd.git is_library=true deps=easy-format,menhir install_as_root=true
## WARNING: requires root to install
cppo tarball=http://martin.jambon.free.fr/cppo-0.9.2.tar.gz is_program=true install_as_root=true
# cfg - library for manipulating context free grammars
cfg tarball=http://hg.ocaml.info/release/cfg/archive/release-1.7.5.tar.gz
# gpr - gaussian process regression
# requires jane street core
gpr tarball=http://hg.ocaml.info/release/gpr/archive/release-0.11.0.tar.gz deps=lacaml,core
# lacaml - blas/lapack interface for ocaml
lacaml tarball=http://hg.ocaml.info/release/lacaml/archive/release-5.5.2.tar.gz
# untested - needs postgresql c library
postgresql-ocaml tarball=http://hg.ocaml.info/release/postgresql-ocaml/archive/release-1.16.0.tar.gz
sqlite3 tarball=http://hg.ocaml.info/release/ocaml-sqlite3/archive/release-1.6.1.tar.gz is_library=true
# does not install executable, but builds it properly
aifad tarball=http://hg.ocaml.info/release/aifad/archive/release-1.1.0.tar.gz deps=res,pcre,cfg is_program=true
# resizeable arrays
res tarball=http://hg.ocaml.info/release/res/archive/release-3.2.0.tar.gz
pure-fun tarball=http://hg.ocaml.info/release/pure-fun/archive/release-1.0.8.tar.gz
#partially ordered maps
pomap tarball=http://hg.ocaml.info/release/pomap/archive/release-2.9.9.tar.gz
# binary installed: "cilly"
# c intermediate language something something
cil tarball=http://downloads.sourceforge.net/project/cil/cil/cil-1.4.0.tar.gz is_library=true
# cryptgps
cryptgps tarball=http://download.camlcity.org/download/cryptgps-0.2.1.tar.gz
# to test the function get_tarball_chk
#cryptgps tarball=http://download.camlcity.org/download/cryptgps-0.2.1.tar.gz sha1=2a958252afabded4435f06ab2e9ed39d23649823
#cryptgps tarball=http://download.camlcity.org/download/cryptgps-0.2.1.tar.gz md5=656afb40fa681079296551b546cb02df
#cryptgps tarball=http://download.camlcity.org/download/cryptgps-0.2.1.tar.gz gpg=/tmp/cryptgps-0.2.1.tar.gz.asc
# dynamic types for ocaml (via syntax extension)
dyntype git=git://github.com/mirage/dyntype.git
expat tarball=http://mmzeeman.home.xs4all.nl/ocaml/ocaml-expat-0.9.1.tar.gz is_library=true
inifiles tarball=http://homepage.mac.com/letaris/inifiles-1.2.tar.gz is_library=true
# Unicode lexer
ulex tarball=http://www.cduce.org/download/ulex-1.1.tar.gz
# CSV file parser
csv tarball=http://forge.ocamlcore.org/frs/download.php/613/csv-1.2.2.tar.gz
# library to exploit multicores in OCaml programs
parmap git=git://github.com/rdicosmo/parmap.git
# Creates tags files for Emacs or vi[m] from OCaml sources.
otags tarball=http://askra.de/software/otags/otags-3.12.2.tar.gz is_program=true
qmc is_library=true deps=extlib tarball=http://forge.ocamlcore.org/frs/download.php/837/libqmc-0.9.1.2.tar.gz
deriving-ocsigen git=https://github.com/hnrgrgr/deriving.git is_library=true deps=?
# tool to lookup annotations for Objective Caml source code within an editor
annot git=git://github.com/avsm/ocaml-annot.git config={./configure --prefix=`which ocaml | sed "s/\/bin\/ocaml$//g"`}
# code coverage analysis tool
bisect darcs=http://bisect.x9c.fr config={chmod 755 configure; ./configure -ocaml-prefix `which ocaml | sed "s/\/bin\/ocaml$//g"` -ocamlfind `which ocamlfind`}