kakadu_ has quit [Remote host closed the connection]
<flux>
everybody's going to think that has something to do with Java.. :-)
sh0t has quit [Remote host closed the connection]
<flux>
looking at it "sbuilder" might have been better fitting :)
<flux>
semes though there are several good alternatives for building ocaml programs nowadays.. getting familiar with each of those to judge which one is the most fitting one for one's applications sounds like a chore. but I am somewhat acceptant that ocamlbuild isn't for me :)
<orbifx[m]>
hup, I'm using it for industrial engineering. Robotics, automation etc.
<orbifx[m]>
He is gone isn't he?! :P
freusque has joined #ocaml
zpe has joined #ocaml
freusque has quit [Quit: WeeChat 1.7]
<Leonidas>
I was about to propose to add my company to the list of commecial users, but its already there <3
<Leonidas>
orbifx[m]: yes, that's the problem with IRC, most people leave to early
<Leonidas>
flux: I believe we are going to see some consolidation in build systems.
<Leonidas>
omake is basically dead
<companion_cube>
well it's telling that jbuilder has convinced many people
<companion_cube>
I suppose that will just leave jbuilder vs ocamlbuild
alfredo has joined #ocaml
<Leonidas>
yes, and since ocamlbuild was decoupled from ocaml anyway, it doesn't really have the "at least it is included in the distribution" going for it
<companion_cube>
but it does have that "many systems use it already"
sz0 has joined #ocaml
<companion_cube>
anyway, if there are just 2 competing build systems, one of which is modern, that's a huge step forward
<Leonidas>
I was happy to see jbuilder documentation to actually exist
<Leonidas>
if it can generate META files I might get rid of topkg
lambda_foo has quit [Quit: Connection closed for inactivity]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
mfp has joined #ocaml
lopex has joined #ocaml
zpe has quit [Remote host closed the connection]
dinosaure has quit [Ping timeout: 260 seconds]
dinosaure has joined #ocaml
sh0t has joined #ocaml
FreeBirdLjj has joined #ocaml
zpe has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 246 seconds]
<reynir>
where's the list of jbuild users?
<reynir>
oh,
<reynir>
nevermind
al-damiri has joined #ocaml
<Drup>
reynir: `opam list --depends jbuilder` ?
<reynir>
Drup: I thought there was a list of commercial jbuilder users, but I obviously missed the context :-)
dlat has quit [Remote host closed the connection]
malc_ has joined #ocaml
nicoo has quit [Remote host closed the connection]
ziyourenxiang has joined #ocaml
nicoo has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
ousado_ has quit [Remote host closed the connection]
ousado_ has joined #ocaml
shinnya has joined #ocaml
_andre has joined #ocaml
maattdd has joined #ocaml
average has quit [Ping timeout: 245 seconds]
sepp2k has joined #ocaml
AlexRussia has quit [Ping timeout: 255 seconds]
AlexRussia has joined #ocaml
jnavila has joined #ocaml
cbot has joined #ocaml
sh0t has quit [Remote host closed the connection]
maattdd has quit [Quit: WeeChat 1.8]
Fardale has joined #ocaml
freehck has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
jlam_ has joined #ocaml
mengu has joined #ocaml
dhil has joined #ocaml
zpe has quit [Remote host closed the connection]
AlexRussia has quit [Ping timeout: 268 seconds]
spew has joined #ocaml
tane has joined #ocaml
FreeBirdLjj has joined #ocaml
AlexRussia has joined #ocaml
dhil has quit [Ping timeout: 246 seconds]
nullifidian has quit [Remote host closed the connection]
cbot_ has joined #ocaml
cbot has quit [Ping timeout: 268 seconds]
FreeBirdLjj has quit [Ping timeout: 260 seconds]
yomimono has joined #ocaml
cbot_ has quit [Ping timeout: 240 seconds]
<rgrinberg>
Leonidas: it generates META files :) Good ones too, as it doesn't include preprocessors as runtime depenendencies :)
apache2 has quit [Remote host closed the connection]
<flux>
seems like jbuilder doesn't do ppx, but for ppx_driver-based ones. otherwise seems like a very nice build sstem.
<rgrinberg>
not quite. jbuilder supports ppx independent of ppx_driver. but they must at least use omp
apache2_ has joined #ocaml
cbot has joined #ocaml
<rgrinberg>
which they should anyway as otherwise they're likely to frustrate people that use different ocaml versions
<flux>
does it not frustrate that they are unable to use a ppx they have, even if it is indeed compatible with their compiler?-)
AlexRussia has quit [Ping timeout: 240 seconds]
<rgrinberg>
yeah i sympathize, but this ppx upgrade issue stumble so many users that I still think it's good that there' at least some encouragement to upgrade to omp here
AlexRussia has joined #ocaml
<flux>
I certainly appreciate that omp is the way to go, but :). I think authors will realize that without nudging. after updating their code for the umpteeth time.
<Drup>
yeah, I tend to agree with you, jbuilder's support of ppx, while acceptable in the ideal world, is not satisfying in practice
Mercuria1Alchemi has quit [Ping timeout: 260 seconds]
<rgrinberg>
yeah I understand. I just don't use that many ppx's myself and all the ones that I use are already to omp (lucky me). So the way I see it, I'd rather just spend my time porting a particular ppx that I need to omp rather than changing jbuilder
<rgrinberg>
especially since diml expressed for supporting more ways of running ppx
<rgrinberg>
companion_cube: that's indeed the case
<companion_cube>
eek
jnavila has joined #ocaml
dmi3y has joined #ocaml
dmi3y has quit [Ping timeout: 240 seconds]
jnavila has quit [Ping timeout: 240 seconds]
rom1504 has quit [Read error: Connection reset by peer]
thizanne has quit [Read error: Connection reset by peer]
slash^ has joined #ocaml
AlexRussia has quit [Ping timeout: 246 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
alqatari has joined #ocaml
alqatari has quit [Client Quit]
dtornabene has joined #ocaml
<rgrinberg>
it can be fixed I think, just not enough interest has been expressed
kakadu has quit [Quit: Konversation terminated!]
<companion_cube>
really? people don't want plugins for cppo? :/
TheLemonMan has joined #ocaml
<malc_>
rgrinberg: are you involved with jbuilder?
rom1504 has joined #ocaml
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
<dtornabene>
is their a coq irc?
<dtornabene>
*there
<companion_cube>
I think so, but it must be almost empty
<companion_cube>
if you have questions you'll probably have more chances on the mailing list
<companion_cube>
(coq-club)
<dtornabene>
thanks
Fistine has joined #ocaml
<dtornabene>
i was looking for a generic introduction to the ide that comes with it, googling wasn't turning up what I wanted
<companion_cube>
most people use proof-general though, afaict
zpe has joined #ocaml
zozozo has joined #ocaml
Simn has quit [Ping timeout: 268 seconds]
zozozo has quit [Quit: WeeChat 1.8]
zozozo has joined #ocaml
zozozo has quit [Client Quit]
jnavila has joined #ocaml
zozozo has joined #ocaml
yomimono has quit [Ping timeout: 268 seconds]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
Simn has joined #ocaml
yomimono has joined #ocaml
nore has quit [Remote host closed the connection]
nore has joined #ocaml
dmi3y has joined #ocaml
zv has joined #ocaml
slash^ has quit [Remote host closed the connection]
kakadu has joined #ocaml
johnelse has quit [Ping timeout: 258 seconds]
johnelse has joined #ocaml
maarhart has joined #ocaml
maarhart has quit [Client Quit]
dmi3y has quit [Quit: dmi3y]
pierpa has joined #ocaml
rom1504 has quit [Remote host closed the connection]
rom1504 has joined #ocaml
jnavila has quit [Remote host closed the connection]
zpe has quit [Remote host closed the connection]
SpiceGuid has joined #ocaml
_andre has quit [Quit: leaving]
rbocquet has quit [Quit: WeeChat 1.0.1]
rbocquet has joined #ocaml
ciniglio has quit [Ping timeout: 240 seconds]
jao has quit [Ping timeout: 255 seconds]
pngl has quit [Ping timeout: 260 seconds]
sepp2k has quit [Ping timeout: 246 seconds]
mengu has quit [Quit: Leaving...]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
tane has quit [Quit: Leaving]
yomimono has quit [Ping timeout: 246 seconds]
jao has joined #ocaml
jabroney has joined #ocaml
jabroney1 has quit [Ping timeout: 255 seconds]
spew has quit [Ping timeout: 260 seconds]
kyod has joined #ocaml
average has joined #ocaml
SpiceGuid has quit [Quit: ChatZilla 0.9.92 [SeaMonkey 2.46/20161213183751]]
AlexDenisov has quit [Remote host closed the connection]
kakadu has quit [Remote host closed the connection]
spew has joined #ocaml
spew has quit [Ping timeout: 240 seconds]
Simn has quit [Read error: Connection reset by peer]
lambda_foo has joined #ocaml
dtornabene has quit [Quit: Leaving]
jack5638 has quit [Ping timeout: 260 seconds]
jack5638 has joined #ocaml
larhat has quit [Quit: Leaving.]
al-damiri has quit [Quit: Connection closed for inactivity]
iitalics has joined #ocaml
<iitalics>
hello
<iitalics>
i'm having trouble getting merlin to recognize my other files, can anyone here help me?
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 255 seconds]
jlam1 has joined #ocaml
jlam_ has quit [Ping timeout: 268 seconds]
spew has joined #ocaml
<orbifx[m]>
Probably :)
<orbifx[m]>
explain the issue, what you have done and what happens
cbot has joined #ocaml
<iitalics>
orbifx[m]: i've installed merlin just as all the tuts have said (emacs)
<iitalics>
i have two files (main.ml, data.ml)
<iitalics>
i try to reference module Data from main.ml and merlin can't find the module
<iitalics>
ocamlbuild works just fine though
<iitalics>
i just downloaded the merlin repository to see if they configure anything different and i get the same problem, tons of errors in any file cause it can't deal with other modules
<orbifx[m]>
Which tutorials? Did you use opam to install it?
johnelse has quit [Ping timeout: 240 seconds]
<orbifx[m]>
(I.e. what do the tutorials instruct for configuration?)
johnelse has joined #ocaml
jabroney has quit [Quit: Leaving.]
<orbifx[m]>
I'll try to help, but I don't use Merlin, only Tuareg.
<iitalics>
i installed from opam and added autoload / add-hook calls to my .emacs
<Fardale>
iitalics: you need to configure your project with a file .merlin