2014-11-12 23:09
avsm changed the topic of #mirage to: mirage 2 released! party on!
00:24
javamonn has quit [Remote host closed the connection]
00:27
tlockney is now known as tlockney_away
00:28
mort___ has joined #mirage
00:50
thomasga has quit [Quit: Leaving.]
01:17
seangrove has joined #mirage
01:18
<
seangrove >
thomasga: Curious if being able to do a git clone (say, over https) in the browser to sync git repos is in the plans for Irmin?
01:42
mort___ has quit [Quit: Leaving.]
01:45
javamonn has joined #mirage
02:24
yomimono has quit [Ping timeout: 256 seconds]
02:49
rgrinberg has quit [Ping timeout: 272 seconds]
02:52
javamonn has quit [Remote host closed the connection]
02:52
javamonn has joined #mirage
02:53
rgrinberg has joined #mirage
03:08
javamonn has quit [Remote host closed the connection]
03:44
rgrinberg has quit [Ping timeout: 250 seconds]
04:02
rgrinberg has joined #mirage
04:40
rgrinberg has quit [Ping timeout: 256 seconds]
05:19
rgrinberg has joined #mirage
05:27
avsm has joined #mirage
05:43
rgrinberg has quit [Ping timeout: 265 seconds]
05:44
rgrinberg has joined #mirage
06:08
avsm has quit [Quit: Leaving.]
06:09
javamonn has joined #mirage
06:14
javamonn has quit [Ping timeout: 272 seconds]
06:40
wildsebastian has joined #mirage
06:58
wildsebastian has quit [Quit: Konversation terminated!]
07:03
wildsebastian has joined #mirage
07:43
rgrinberg has quit [Ping timeout: 265 seconds]
07:49
thomasga has joined #mirage
08:06
larhat has joined #mirage
08:13
larhat has quit [Quit: Leaving.]
09:24
miragebot has joined #mirage
09:24
<
miragebot >
mirage/master f57ba0a pqwy: remove `ENTROPY` sig
09:24
<
miragebot >
mirage/master bd09429 pqwy: fix description of `RANDOM`
09:24
miragebot has left #mirage [#mirage]
09:24
<
miragebot >
mirage/master de7aae8 pqwy: remove tls_over_conduit parameterized by entropy
09:50
larhat has joined #mirage
09:56
larhat has quit [Quit: Leaving.]
09:56
avsm has joined #mirage
10:13
yomimono has joined #mirage
10:28
so is now known as shawn
10:28
shawn is now known as Guest79903
10:29
Guest79903 is now known as so
10:38
rgrinberg has joined #mirage
10:43
rgrinberg has quit [Ping timeout: 256 seconds]
11:03
larhat1 has joined #mirage
11:03
larhat1 has quit [Client Quit]
11:41
<
avsm >
thomasga: there?
11:43
<
avsm >
gmp-xen error
11:43
<
avsm >
trying out seal, got a mirage.io cert
11:43
<
avsm >
config.guess not found — something around this known?
11:44
<
thomasga >
I've merged @hannes patches this morning, I'm trying to have something working ...
11:50
<
avsm >
thomasga: cool. got it all compiling except gmp-xen, which seems to be oddly broken
11:51
<
avsm >
have the patches buitl on travis for that?
11:51
<
avsm >
# + cp .libs/libgmp.a /home/miriod/.opam/system/lib/gmp/libgmp_xen.a
11:51
<
avsm >
# cp: cannot create regular file ‘/home/miriod/.opam/system/lib/gmp/libgmp_xen.a’: No such file or directory
11:51
<
avsm >
and a reference to ../config.guess that doesnt exist (only ./config.guess does)
11:51
<
thomasga >
ar should be lib/gmp-xen/
11:51
<
hannes >
sorry, my fault..
11:51
<
avsm >
np, just checking i'm not out of sync somewhere
11:52
<
hannes >
this gmp-xen is based on talex gmp package, but I removed the build for unix part...
11:52
<
thomasga >
np you're just in the middle of the merge … should probably have done that on my fork instead of the main one :-(
11:52
<
avsm >
if someone fixing this atm? I can wait an hour
11:53
<
avsm >
planning to demo this at the ocaml meetup on wednesday
11:53
nojb has joined #mirage
11:53
<
avsm >
should be pretty cool to play with the live mirage.io site using it
11:53
* hannes
is busy trying to get minios+mirage building here on FreeBSD, and would try out (and fix) gmp-xen later...
11:54
<
thomasga >
then I wanted to add mirage-seal + a base test in mirage-dev
11:54
<
hannes >
but porting minios patches forward might take some time (33 of them)
11:54
<
thomasga >
I'll have to make a pause soon and restart the evening though
11:55
<
thomasga >
"restart in the evening"
11:56
<
thomasga >
avsm: but my plan is to have all of this working tonight (or I can revert the gmp-xen patches if you need to have a demo working today)
11:56
fedjo has quit [Read error: Connection reset by peer]
11:56
fedjo1 has joined #mirage
11:57
<
avsm >
thomasga: no mad rush, i can resume from nsdi. Switching to irmin (just dont want to duplicate efforts)
11:57
<
avsm >
hannes: 33 patches for freebsd minios support?
11:58
<
hannes >
avsm: mini-os from xen got its own repository, which misses 33 patches from talex. the former builds and works on freebsd, the latter doesn't (yet)
11:58
<
hannes >
conflicts are mainly in the build system
11:58
<
avsm >
hannes: oic, makes sense. then we can swap over to the upstream one independently of xen
11:59
thomasga has quit [Quit: Leaving.]
11:59
<
hannes >
and furthermore I can compile and test xen builds
12:07
nojb has quit [Quit: nojb]
12:10
thomasga has joined #mirage
12:13
nojb has joined #mirage
12:24
javamonn has joined #mirage
12:25
nojb has quit [Quit: nojb]
12:25
nojb has joined #mirage
12:32
avsm has quit [Quit: Leaving.]
12:41
javamonn has quit [Remote host closed the connection]
12:41
nojb has quit [Remote host closed the connection]
12:42
nojb has joined #mirage
12:42
nojb has quit [Client Quit]
12:43
nojb has joined #mirage
12:44
yomimono has quit [Ping timeout: 240 seconds]
12:46
thomasga has quit [Quit: Leaving.]
12:50
fedjo1 has quit [Quit: Leaving.]
12:51
fedjo has joined #mirage
13:01
javamonn has joined #mirage
13:01
avsm has joined #mirage
13:07
javamonn has quit [Remote host closed the connection]
13:09
javamonn has joined #mirage
13:13
javamonn has quit [Remote host closed the connection]
13:16
javamonn has joined #mirage
13:23
javamonn has quit [Remote host closed the connection]
13:23
javamonn has joined #mirage
13:44
avsm has quit [Quit: Leaving.]
13:51
avsm has joined #mirage
14:04
rgrinberg has joined #mirage
14:04
nojb has quit [Ping timeout: 240 seconds]
14:10
avsm has quit [Quit: Leaving.]
14:15
nojb has joined #mirage
14:21
agarwal1975 has joined #mirage
14:37
wildsebastian has quit [Ping timeout: 244 seconds]
14:42
rgrinberg has quit [Ping timeout: 240 seconds]
14:44
wildsebastian has joined #mirage
14:44
wildsebastian has quit [Read error: Connection reset by peer]
15:05
rgrinberg has joined #mirage
15:07
kdef has joined #mirage
15:31
avsm has joined #mirage
15:43
kdef has quit [Quit: Leaving]
16:14
raboof has quit [Changing host]
16:14
raboof has joined #mirage
16:22
MrScout has joined #mirage
16:39
kdef has joined #mirage
16:50
avsm has quit [Quit: Leaving.]
17:12
nojb has quit [Quit: nojb]
17:30
thomasga has joined #mirage
17:41
mort___ has joined #mirage
17:57
<
thomasga >
hannes: ok I'm back and ready to fix gmp-xen :-)
18:00
avsm has joined #mirage
18:03
MrScout has quit [Ping timeout: 256 seconds]
18:04
MrScout has joined #mirage
18:11
avsm has quit [Quit: Leaving.]
18:15
avsm has joined #mirage
18:21
yomimono has joined #mirage
18:23
brson has joined #mirage
18:24
mort___ has quit [Quit: Leaving.]
18:29
kdef has quit [Ping timeout: 250 seconds]
18:31
kdef has joined #mirage
18:41
brson has quit [Ping timeout: 256 seconds]
18:46
avsm has quit [Quit: Leaving.]
18:57
tlockney_away is now known as tlockney
19:04
MrScout has quit [Remote host closed the connection]
19:05
MrScout has joined #mirage
19:14
larhat has joined #mirage
19:36
nojb has joined #mirage
19:44
nate_prime has joined #mirage
19:45
nojb has quit [Quit: nojb]
19:50
brson has joined #mirage
20:05
rgrinberg has quit [Ping timeout: 272 seconds]
20:06
kdef has quit [Ping timeout: 252 seconds]
20:18
agarwal1975 has quit [Quit: agarwal1975]
20:29
MrScout_ has joined #mirage
20:29
kdef has joined #mirage
20:30
sigjuice_ has quit [Ping timeout: 265 seconds]
20:30
NhanH has quit [Read error: Connection reset by peer]
20:31
larhat has quit [Quit: Leaving.]
20:31
MrScout has quit [Ping timeout: 265 seconds]
20:32
sigjuice has joined #mirage
20:33
NhanH has joined #mirage
20:33
seangrov` has joined #mirage
20:34
seangrove has quit [Read error: Connection reset by peer]
20:48
larhat has joined #mirage
21:01
rgrinberg has joined #mirage
21:06
rgrinberg has quit [Ping timeout: 272 seconds]
21:14
kdef has quit [Quit: Leaving]
21:20
seangrov` has quit [Ping timeout: 256 seconds]
21:20
rgrinberg has joined #mirage
21:22
miragebot has joined #mirage
21:22
<
miragebot >
mirage/master 8c3e23a Thomas Gazagnaire: Update Travis scripts to use mirage-dev
21:22
<
miragebot >
mirage/master 0741d73 Thomas Gazagnaire: Bump version
21:22
<
miragebot >
mirage/master 3c1668f Thomas Gazagnaire: Modernize the travis scripts
21:22
miragebot has left #mirage [#mirage]
21:22
miragebot has joined #mirage
21:22
miragebot has left #mirage [#mirage]
21:23
miragebot has joined #mirage
21:23
miragebot has left #mirage [#mirage]
21:24
kdef has joined #mirage
21:27
jonludlam has joined #mirage
21:32
rgrinberg has quit [Ping timeout: 272 seconds]
21:41
larhat has quit [Quit: Leaving.]
21:48
nate_prime has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
22:24
brson has quit [Quit: leaving]
22:50
javamonn has quit [Remote host closed the connection]
22:51
javamonn has joined #mirage
22:52
MrScout_ has quit [Ping timeout: 256 seconds]
22:55
javamonn has quit [Ping timeout: 252 seconds]
23:17
javamonn has joined #mirage
23:18
yomimono has quit [Ping timeout: 246 seconds]
23:18
dsheets has quit [Ping timeout: 265 seconds]
23:20
dsheets has joined #mirage
23:21
yomimono has joined #mirage
23:21
kdef has quit [Quit: Leaving]
23:22
javamonn has quit [Ping timeout: 272 seconds]
23:30
javamonn has joined #mirage
23:35
yomimono has quit [Ping timeout: 240 seconds]
23:38
javamonn has quit [Remote host closed the connection]
23:40
javamonn has joined #mirage