argent_smith1 has quit [Ping timeout: 260 seconds]
<xvilka>
does anyone met this problem? lib/ocaml/libcamlrun.a(memory.o): relocation R_X86_64_32 against `.rodata.str1.8' can not be used when making a shared object; recompile with -fPIC
<mrvn>
can't build shared objects with the static libocamlrun.a. You need a PIC flavour.
agravier has joined #ocaml
freusque has joined #ocaml
<xvilka>
mrvn: it means I need to rebuild ocaml itself with a grain of PIC?
argent_smith has quit [Quit: Leaving.]
ewanas has joined #ocaml
samrat has joined #ocaml
<def`>
recent versions of ocamlopt accepts a runtime-variant flag
<def`>
try -runtime-variant _pic
Merv__ has quit [Read error: Connection reset by peer]
Merv_ has joined #ocaml
silver has quit [Read error: Connection reset by peer]
<xvilka>
def`: cool, thx
silver has joined #ocaml
foocraft has joined #ocaml
mrkgnao has joined #ocaml
Exagone313 has quit [Quit: see ya!]
ewanas has quit [Ping timeout: 268 seconds]
FreeBirdLjj has joined #ocaml
manizzle has joined #ocaml
foocraft has quit [Quit: Leaving]
FreeBirdLjj has quit [Ping timeout: 268 seconds]
rdutra has joined #ocaml
manizzle has quit [Ping timeout: 268 seconds]
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
sh0t has joined #ocaml
fionnan_ has joined #ocaml
snowcrshd has quit [Remote host closed the connection]
snowcrshd has joined #ocaml
argent_smith has joined #ocaml
samrat has quit [Ping timeout: 240 seconds]
snowcrshd has quit [Ping timeout: 240 seconds]
samrat has joined #ocaml
Muzer has quit [Ping timeout: 258 seconds]
snowcrshd has joined #ocaml
tane has joined #ocaml
sh0t has quit [Ping timeout: 240 seconds]
gpietro has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 260 seconds]
KeyJoo has joined #ocaml
flx_ has joined #ocaml
FreeBirdLjj has joined #ocaml
flux has quit [Ping timeout: 276 seconds]
flx_ is now known as flux
FreeBirdLjj has quit [Ping timeout: 255 seconds]
Muzer has joined #ocaml
snowcrsh_ has joined #ocaml
agravier has quit [Quit: agravier]
snowcrshd has quit [Ping timeout: 260 seconds]
snowcrsh_ has quit [Remote host closed the connection]
Exagone313 has joined #ocaml
flx_ has joined #ocaml
flux has quit [Ping timeout: 255 seconds]
flx_ is now known as flux
flx_ has joined #ocaml
flux has quit [Ping timeout: 258 seconds]
flx_ is now known as flux
jbrown has joined #ocaml
ryanartecona has joined #ocaml
samrat has quit [Ping timeout: 240 seconds]
gpietro has quit [Ping timeout: 246 seconds]
alfredo has quit [Ping timeout: 260 seconds]
<Leonidas>
does anyone know how I can override an OMake variable via the commandline?
enterprisey has joined #ocaml
ziyourenxiang has quit [Quit: Leaving]
ziyourenxiang has joined #ocaml
gpietro has joined #ocaml
<Leonidas>
ok, got it figured out, there is $(defined) and you can pass variables via commandline
MercurialAlchemi has joined #ocaml
argent_smith1 has joined #ocaml
argent_smith has quit [Ping timeout: 260 seconds]
maarhart has joined #ocaml
FreeBirdLjj has joined #ocaml
argent_smith1 has quit [Quit: Leaving.]
snowcrshd has joined #ocaml
maarhart has quit [Remote host closed the connection]
jao has joined #ocaml
copy_ has joined #ocaml
snowcrshd has quit [Ping timeout: 260 seconds]
samrat has joined #ocaml
slack5 has quit [Remote host closed the connection]
slack6 has joined #ocaml
snowcrshd has joined #ocaml
freusque has quit [Quit: WeeChat 1.7.1]
ryanartecona has quit [Quit: ryanartecona]
zv has quit [Ping timeout: 268 seconds]
yegods has joined #ocaml
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
zpe has quit [Remote host closed the connection]
freusque has joined #ocaml
zpe has joined #ocaml
freusque has quit [Read error: Connection reset by peer]
zpe has quit [Ping timeout: 258 seconds]
malc_ has joined #ocaml
kakadu has joined #ocaml
<Leonidas>
are modular implicits dead?
<Leonidas>
there was 1 commit in 2017, 0 in 2016
<flux>
I'm hoping it's just a matter of priorization :)
yegods has quit [Remote host closed the connection]
samrat has quit [Ping timeout: 246 seconds]
yegods has joined #ocaml
<kakadu>
last thing I heard is that implicits has been rebased to 4.04
ia0 has quit [Quit: reboot]
ryanartecona has joined #ocaml
ia0 has joined #ocaml
yegods has quit [Ping timeout: 260 seconds]
zv has joined #ocaml
<Leonidas>
yay
mrkgnao has quit [Ping timeout: 268 seconds]
Soni has quit [Ping timeout: 258 seconds]
zv has quit [Ping timeout: 240 seconds]
samrat has joined #ocaml
snowcrshd has quit [Remote host closed the connection]
zv has joined #ocaml
sgronblo has quit [Read error: No route to host]
yomimono has joined #ocaml
mengu has joined #ocaml
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
andreas_ has quit [Quit: Connection closed for inactivity]
Anarchos has joined #ocaml
snowcrshd has joined #ocaml
raphaelss has quit [Quit: Lost terminal]
average has quit [Quit: leaving]
yegods has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
superherointj has joined #ocaml
TheLemonMan has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
<def`>
Leonidas: there were plenty in 2016, in my branch :)
<def`>
Current state is that theory is being worked on its own, outside of the implementation.
<Leonidas>
Good to hear it is still seeing progress, I was a bit worried that multicore will overtake it ;)
<Drup>
worried ?!
<def`>
Implicits are quite intrusive, they affect a lot of the surface language so it is a sensitive topic
samrat has quit [Ping timeout: 258 seconds]
<Drup>
"oh, it's terrible, one of the feature we all want is going faster than another feature we all want" :D
<Leonidas>
Drup: multicore is like waiting for godot :p
hpd_m has left #ocaml ["User left"]
sepp2k has quit [Ping timeout: 260 seconds]
Merv_ has quit [Remote host closed the connection]
Merv_ has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
<flux>
I think implicits might be the first thing for a long time to bring OCaml into some unexpected direction
<flux>
like C++ and its templates :)
Merv_ has quit [Ping timeout: 268 seconds]
<flux>
so I understand the desire to tread carefully..
<flux>
I suppose there's no risk that implicits are turing complete, though.. (?)
<Drup>
flux: ahahahah
<reynir>
OCaml++
<Drup>
flux: "we embedded all the basic elements of prolog in our type system, there is no risk that it will be turing complete" ;)
<flux>
cool, so you're saing there's hope ;)
yegods has quit [Remote host closed the connection]
enterprisey has quit [Remote host closed the connection]
<flux>
implicits may also be the biggest feature people in the ocaml scene want, but from "marketing perspective" multicore could be more important :).
<flux>
not to say mc doesn't have real applications.
<Drup>
Multicore would have a limited impact on my usage of OCaml, but effect handlers ... that could be *awesome*
<flux>
practically as big a feature as implicits I'd say, even bigger if they are typed
<superherointj>
I only wish oCaml had decent Windows support.
<Drup>
even untyped. It's basically equivalent to having one-shot call/cc in the language
superherointj has quit [Quit: Leaving]
<reynir>
(I wanted to make a bad joke about windows in the Graphics module)
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 260 seconds]
sgronblo has joined #ocaml
<def`>
flux: implicits are turing complete "in general", the implementation comes with a convergence criterion to prevent non-termination
sgronblo has quit [Ping timeout: 260 seconds]
<flux>
so the same as c++ then?-)
ontologiae has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
nicoo has quit [Ping timeout: 248 seconds]
<def`>
no :)
<def`>
it is an hard limit in C++, here it is a syntactic criterion
<def`>
(recursion should be decreasing on one of the equations involved)
<def`>
more like Coq :P (but the truth is "it is complicated")
tane_ has joined #ocaml
tane has quit [Ping timeout: 258 seconds]
nicoo has joined #ocaml
Xitsa has joined #ocaml
ryanartecona has joined #ocaml
Xitsa has quit [Client Quit]
FreeBirdLjj has joined #ocaml
ski_ is now known as ski
bacam has quit [Quit: reboot]
FreeBirdLjj has quit [Ping timeout: 255 seconds]
bacam has joined #ocaml
jlouis_ is now known as jlouis
sgronblo has joined #ocaml
ygrek_ has joined #ocaml
sgronblo has quit [Read error: Connection reset by peer]
ontologiae has quit [Ping timeout: 260 seconds]
argent_smith has joined #ocaml
shinnya has joined #ocaml
gpietro has quit [Ping timeout: 240 seconds]
Merv_ has joined #ocaml
Leonidas has quit [Quit: An ideal world is left as an exercise to the reader]