Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Newer
Older
100644 161 lines (133 sloc) 2.928 kb
de07b13 Thomas Gazagnaire Towards complete bootsraping
samoht authored
1 (* Uncomment to use with TypeRex *)
91c7f47 Thomas Gazagnaire Revert part of the last commit to fix build
samoht authored
2 (*
de07b13 Thomas Gazagnaire Towards complete bootsraping
samoht authored
3 ocamlc = [ "ocp-ocamlc.opt" ]
4 ocamlopt = [ "ocp-ocamlopt.opt" ]
91c7f47 Thomas Gazagnaire Revert part of the last commit to fix build
samoht authored
5 *)
de07b13 Thomas Gazagnaire Towards complete bootsraping
samoht authored
6
c980b5e Thomas Gazagnaire [build] warning are errors for OPAM sources
samoht authored
7 begin
88b0ff1 Thomas Gazagnaire [build] compile everything with -g
samoht authored
8 comp += [ "-g" "-annot" "-warn-error" "A" ]
9 link += [ "-g" ]
c980b5e Thomas Gazagnaire [build] warning are errors for OPAM sources
samoht authored
10
ac99a15 Thomas Gazagnaire More WIP ...
samoht authored
11 begin library "opam-lib"
c09ca7d Thomas Gazagnaire Move sources files to src/
samoht authored
12 dirname = [ "src" ]
e951116 Thomas Gazagnaire Fix ocp-get init
samoht authored
13 files = [
b582d5e Thomas Gazagnaire Bits of refactoring
samoht authored
14 "globals.ml"
ac99a15 Thomas Gazagnaire More WIP ...
samoht authored
15 "utils.ml"
88b0ff1 Thomas Gazagnaire [build] compile everything with -g
samoht authored
16 "process.ml"
45abc3d Thomas Gazagnaire It is possible to have a list of possible servers (mixing git repo and n...
samoht authored
17 "run.ml"
ba39c27 Thomas Gazagnaire More WIP.
samoht authored
18 "parallel.ml"
19 "types.ml"
1bcaf57 Thomas Gazagnaire New format for user provided files
samoht authored
20 "file_format.ml"
21 "lexer.mll"
1efd27d Thomas Gazagnaire More WIP
samoht authored
22 "linelexer.mll"
1bcaf57 Thomas Gazagnaire New format for user provided files
samoht authored
23 "parser.mly"
e357916 Thomas Gazagnaire Fix ocp.ml into chunks
samoht authored
24 "file.ml"
b9a3063 fix the computation of $oversion/reinstall
Frédéric Tuong authored
25 "path.ml"
ac99a15 Thomas Gazagnaire More WIP ...
samoht authored
26 "repositories.ml"
e357916 Thomas Gazagnaire Fix ocp.ml into chunks
samoht authored
27 ]
28
750fc50 Thomas Gazagnaire Add a first build skeleton
samoht authored
29 requires = [
30 "cudf"
31 "dose"
32 "unix"
de07b13 Thomas Gazagnaire Towards complete bootsraping
samoht authored
33 "arg"
34 "graph"
b19514e Thomas Gazagnaire [build] only use re_perl (instead of full re) and do not depend any more...
samoht authored
35 "re_perl"
750fc50 Thomas Gazagnaire Add a first build skeleton
samoht authored
36 ]
5de848e Fixed ocp-get.ocp
Fabrice Le Fessant authored
37 end
e357916 Thomas Gazagnaire Fix ocp.ml into chunks
samoht authored
38
ac99a15 Thomas Gazagnaire More WIP ...
samoht authored
39 begin program "opam"
c09ca7d Thomas Gazagnaire Move sources files to src/
samoht authored
40 dirname = [ "src" ]
2c9a85c Thomas Gazagnaire More file spliting.
samoht authored
41 files = [
42 "solver.ml"
43 "client.ml"
ac99a15 Thomas Gazagnaire More WIP ...
samoht authored
44 "opam.ml"
2c9a85c Thomas Gazagnaire More file spliting.
samoht authored
45 ]
ac99a15 Thomas Gazagnaire More WIP ...
samoht authored
46 requires = [ "opam-lib" ]
4dc9186 Thomas Gazagnaire Add a basic server implementation
samoht authored
47 end
d72de1d Thomas Gazagnaire More cleanups
samoht authored
48
49 (* Repository Scripts *)
50
bc5a548 Thomas Gazagnaire [git] Add git repository pluggins
samoht authored
51 (* RSYNC *)
d72de1d Thomas Gazagnaire More cleanups
samoht authored
52 begin program "opam-rsync-init"
53 files = [ "src/repo/rsync/init.ml" ]
54 requires = [ "opam-lib" ]
55 end
56
57 begin program "opam-rsync-update"
58 files = [ "src/repo/rsync/update.ml" ]
59 requires = [ "opam-lib" ]
c9ac582 Thomas Gazagnaire Add missing opam.ocp update
samoht authored
60 end
61
62 begin program "opam-rsync-download"
63 files = [ "src/repo/rsync/download.ml" ]
64 requires = [ "opam-lib" ]
65 end
66
67 begin program "opam-rsync-upload"
68 files = [ "src/repo/rsync/upload.ml" ]
69 requires = [ "opam-lib" ]
70 end
71
bc5a548 Thomas Gazagnaire [git] Add git repository pluggins
samoht authored
72
73 (* GIT *)
74 begin program "opam-git-init"
75 files = [ "src/repo/git/init.ml" ]
76 requires = [ "opam-lib" ]
77 end
78
79 begin program "opam-git-update"
80 files = [ "src/repo/git/update.ml" ]
81 requires = [ "opam-lib" ]
82 end
83
84 begin program "opam-git-download"
85 files = [ "src/repo/git/download.ml" ]
86 requires = [ "opam-lib" ]
87 end
88
89 begin program "opam-git-upload"
90 files = [ "src/repo/git/upload.ml" ]
91 requires = [ "opam-lib" ]
92 end
93
c882255 Thomas Gazagnaire [opam server] start implementing the OPAM server repository pluggin.
samoht authored
94
95 (* SERVER *)
96 begin library "opam-server-lib"
97 files = [
98 "src/repo/server/protocol.ml"
99 "src/repo/server/key.ml"
100 "src/repo/server/client.ml"
101 ]
102 requires = [ "opam-lib" ]
103 end
104
105 begin program "opam-server"
bcd969d Thomas Gazagnaire Fix build
samoht authored
106 files = [
107 "src/repo/server/daemon.ml"
108 "src/repo/server/server.ml"
109 ]
110 comp += [ "-thread" ]
111 link += [ "-thread" ]
112 requires = [
113 "opam-server-lib"
114 "threads"
115 ]
c882255 Thomas Gazagnaire [opam server] start implementing the OPAM server repository pluggin.
samoht authored
116 end
117
118 begin program "opam-server-init"
119 files = [ "src/repo/server/init.ml" ]
120 requires = [ "opam-server-lib" ]
121 end
122
123 begin program "opam-server-update"
124 files = [ "src/repo/server/update.ml" ]
125 requires = [ "opam-server-lib" ]
126 end
127
128 begin program "opam-server-download"
129 files = [ "src/repo/server/download.ml" ]
130 requires = [ "opam-server-lib" ]
131 end
132
133 begin program "opam-server-upload"
134 files = [ "src/repo/server/upload.ml" ]
135 requires = [ "opam-server-lib" ]
136 end
c980b5e Thomas Gazagnaire [build] warning are errors for OPAM sources
samoht authored
137
7e5fe8a Thomas Gazagnaire Add helper scripts to build .config.in and .install
samoht authored
138 (* Helpers *)
139
140 begin program "opam-mk-config"
9fd1a52 Thomas Gazagnaire [scripts] add a small script to initialize rsync and server repositories
samoht authored
141 files = [ "src/scripts/opam_mk_config.ml" ]
7e5fe8a Thomas Gazagnaire Add helper scripts to build .config.in and .install
samoht authored
142 requires = [ "opam-lib" ]
143 end
144
145 begin program "opam-mk-install"
9fd1a52 Thomas Gazagnaire [scripts] add a small script to initialize rsync and server repositories
samoht authored
146 files = [ "src/scripts/opam_mk_install.ml" ]
147 requires = [ "opam-lib" ]
148 end
149
150 begin program "opam-mk-repo"
151 files = [ "src/scripts/opam_mk_repo.ml" ]
7e5fe8a Thomas Gazagnaire Add helper scripts to build .config.in and .install
samoht authored
152 requires = [ "opam-lib" ]
88b0ff1 Thomas Gazagnaire [build] compile everything with -g
samoht authored
153 end
154
ccf5fe4 Thomas Gazagnaire [tests] explicitely verify that the installed versions are really the on...
samoht authored
155 begin program "opam-check"
156 files = [ "src/scripts/opam_check.ml" ]
157 requires = [ "opam-lib" ]
158 end
159
88b0ff1 Thomas Gazagnaire [build] compile everything with -g
samoht authored
160 end
Something went wrong with that request. Please try again.