avsm changed the topic of #mirage to: Good news everyone! Mirage 3.0 released!
_whitelogger has joined #mirage
argent_smith has joined #mirage
copy_ has joined #mirage
<mato> hannes: Thanks for the help in #847, I didn't know about opam pin --dev-repo
<mato> hannes: Is there an equivalent for that for local clones of packages? I.e. if I have functoria master checked out at /path/to/git/repo?
<hannes> mato: opam pin add -k git functoria.dev `pwd`#HEAD is what I use there
<hannes> (the -k git and #HEAD to convince opam to use the git HEAD, and not the local uncommitted changes or build root or whatever)
<hannes> --dev-repo (/ --dev) is a shortcut for "take the dev-repo from the opam field"
<mato> thanks!
<hannes> you're welcome
thomasga has joined #mirage
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> mirage/master 5baf51c Ricardo Koller: Adding --gdb argument for ukvm (#847)...
<miragebot> [mirage] hannesm pushed 1 new commit to master: https://git.io/v7ZnS
thomasga has quit [Quit: Leaving.]
copy_ has quit [Quit: Connection closed for inactivity]
vbmithr_ is now known as vbmithr
vbmithr has quit [Quit: leaving]
vbmithr has joined #mirage
argent_smith has quit [Quit: Leaving.]
rixed_ has joined #mirage
hnrgrgr_ has joined #mirage
rixed has quit [Write error: Broken pipe]
wont has joined #mirage
reet has quit [Remote host closed the connection]
haesbaer1 has joined #mirage
jerith_ has joined #mirage
haesbaert has quit [Write error: Broken pipe]
rektide has quit [Write error: Broken pipe]
ahf has quit [Excess Flood]
jerith has quit [Remote host closed the connection]
ahf has joined #mirage
hnrgrgr has quit [Remote host closed the connection]
hannes` has joined #mirage
hannes has quit [Remote host closed the connection]
wont_ has quit [Ping timeout: 240 seconds]
reet has joined #mirage
Bluerise has quit [Ping timeout: 276 seconds]
Bluerise has joined #mirage
hannes` is now known as hannes