adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
al-damiri has quit [Quit: Connection closed for inactivity]
ocamlnewb has joined #ocaml
JimmyRcom has quit [Ping timeout: 246 seconds]
ocamlnewb has quit [Quit: Page closed]
tianon has quit [Ping timeout: 252 seconds]
tianon has joined #ocaml
jimt has quit [Ping timeout: 252 seconds]
jimt has joined #ocaml
metreo has joined #ocaml
supah has joined #ocaml
silver has quit [Read error: Connection reset by peer]
pierpa has quit [Quit: Page closed]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 240 seconds]
_whitelogger has joined #ocaml
caente has quit [Ping timeout: 250 seconds]
metreo has left #ocaml [#ocaml]
ggole has joined #ocaml
_whitelogger has quit [Remote host closed the connection]
_whitelogger_ has joined #ocaml
wickedshell has joined #ocaml
tane has joined #ocaml
_whitelogger has joined #ocaml
kakadu has joined #ocaml
tane has quit [Quit: Leaving]
bartholin has joined #ocaml
orbifx1 has joined #ocaml
tane has joined #ocaml
orbifx1 has quit [Read error: Connection reset by peer]
orbifx1 has joined #ocaml
orbifx1 is now known as orbifx
<orbifx> hello folk
Guest34 has joined #ocaml
Haudegen has joined #ocaml
zolk3ri has joined #ocaml
ShalokShalom has quit [Ping timeout: 245 seconds]
vbmithr has joined #ocaml
caente has joined #ocaml
bronsen has quit [Remote host closed the connection]
bronsen has joined #ocaml
caente has quit [Ping timeout: 250 seconds]
orbifx has quit [Ping timeout: 250 seconds]
caente has joined #ocaml
tane_ has joined #ocaml
tane has quit [Read error: Connection reset by peer]
Guest34 has left #ocaml [#ocaml]
jnavila has joined #ocaml
danielh1234 has joined #ocaml
try-again has joined #ocaml
<try-again> Hi, I'm having trouble installing ocaml on a Fedora 29 system
<try-again> I've installed opam, but when I do opam init it fails when trying to install ocaml-base-compiler
<try-again> ERROR while compiling ocaml-base-compiler.4.07.1
<try-again> It seems the problem occurs when compiling byterun/prims.c
<seliopou> has anybody come across this OPAM error: https://travis-ci.org/inhabitedtype/angstrom/jobs/450217665
<seliopou> The following dependencies couldn't be met:
<seliopou> - ocaml -> ocaml-config
<seliopou> seems like a bad one, probably related to OPAM 2 upgrade?
<try-again> More about my problem: Seems the compilation of prins.c works fine. The linking is the issue.
<try-again> prins.c declares stuff like "extern value caml_();", which does not appear to be in the libraries linked against
<try-again> It links against libcamlrun.a so I guess they should be there?
<try-again> Anyone came across something like this?
<try-again> And, by prins.c I mean prims.c :-)
<try-again> Details from the log: https://pastebin.com/Avb3sSuM
<try-again> I tried an older version ( opam switch create ocaml-base-compiler.4.07.0 ), but same problem
<try-again> What is prims.c supposed to look like? (can I tell if my prims.c (which is generated) is bad, or if the libraries that it inks against that are bad?)
danielh1234 has quit [Quit: Konversation terminated!]
zolk3ri has quit [Quit: Lost terminal]
notnotdan has joined #ocaml
<notnotdan> Hi
<notnotdan> Dunno if this is the right place to ask OPAM questions, but I was wondering how to disable checksum checks in opam?
<notnotdan> I tried running `opam install' with --no-checksums, but to no avail
<notnotdan> It still gives me checksum errors: https://paste.ubuntu.com/p/p59RNDFnhx/
Haudegen has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
try-again has quit [Ping timeout: 252 seconds]
JimmyRcom has joined #ocaml
try-again has joined #ocaml
JimmyRcom has quit [Ping timeout: 250 seconds]
jao has joined #ocaml
jao has quit [Remote host closed the connection]
pmetzger has joined #ocaml
<pmetzger> If it is giving you checksum errors that probably means the file is corrupted. Are you sure you want to build with a corrupted file?
<pmetzger> That might not be in your interest.
nullifidian_ is now known as nullifidian
Haudegen has joined #ocaml
JimmyRcom has joined #ocaml
<notnotdan> pmetzger: I don't think it is corrupted. It is more likely that something has changed when the archive was moved (it is a 200 redirect).
<notnotdan> pmetzger: in any case, I've raised the issue with the maintainters of the package. But I still want to install it, and I still want to know if I am doing anything incorrectly
<notnotdan> Otherwise it looks like a bug in opam
<pmetzger> I doubt it is a bug. And the checksum legitimately isn't correct. So maybe you should just use opam pin (read the docs) with an altered checksum?
<notnotdan> But what is the point of the `--no-checksums' option then?
<pmetzger> Hrm. Maybe it is a bug. You want to file an issue?
<pmetzger> I suspect not many people have ever used that flag, which may have caused rot.
pmetzger has quit []
JimmyRcom has quit [Ping timeout: 260 seconds]
JimmyRcom has joined #ocaml
try-again has quit [Ping timeout: 268 seconds]
<bartholin> how could anyone prove anything before recursion
<bartholin> recursion has first been used by Dedekind in 1888
ShalokShalom has quit [Ping timeout: 245 seconds]
ggole has quit [Quit: ggole]
fraxamo has joined #ocaml
metreo has joined #ocaml
try-again has joined #ocaml
metreo has quit [Quit: Leaving.]
notnotdan has quit [Ping timeout: 268 seconds]
liveuser has joined #ocaml
liveuser has quit [Remote host closed the connection]
theglass has quit [Excess Flood]
theglass has joined #ocaml
theglass has joined #ocaml
theglass has quit [Changing host]
zolk3ri has joined #ocaml
try-again has quit [Ping timeout: 246 seconds]
jave_ has quit [Ping timeout: 252 seconds]
jave has joined #ocaml
metreo has joined #ocaml
metreo has left #ocaml [#ocaml]
metreo has joined #ocaml
ShalokShalom has joined #ocaml
notnotdan has joined #ocaml
notnotdan has quit [Client Quit]
orbifx has joined #ocaml
try-again has joined #ocaml
groovy2shoes has quit [Excess Flood]
groovy2shoes has joined #ocaml
ShalokShalom has quit [Ping timeout: 272 seconds]
keep_learning has quit [Quit: Ping timeout (120 seconds)]
ShalokShalom has joined #ocaml
habnabit has joined #ocaml
_habnabit has quit [Ping timeout: 276 seconds]
jerith has quit [Ping timeout: 260 seconds]
jerith has joined #ocaml
zv has quit [Ping timeout: 240 seconds]
try-again has quit [Ping timeout: 245 seconds]
jknick has quit [Ping timeout: 250 seconds]
jknick has joined #ocaml
jao has joined #ocaml
fraxamo has quit [Quit: Leaving]
orbifx has quit [Ping timeout: 240 seconds]
try-again has joined #ocaml
<Drup> bartholin: but induction is much older
jao has quit [Ping timeout: 244 seconds]
<bartholin> Drup: source?
<bartholin> ok
<bartholin> oh
<bartholin> so, recursive functions == 1888, recursive proofs == Antiquity
jnavila has quit [Ping timeout: 252 seconds]
tane_ has quit [Quit: Leaving]
bartholin has quit [Remote host closed the connection]
kakadu has quit [Remote host closed the connection]
<try-again> I still have not solved my ocaml installation problem.
<try-again> Could anyone try this:
<try-again> 2/4 Boot it in a virtual machine
<try-again> 3/4 sudo dnf install opam
<try-again> 4/4 opam init
<try-again> I think the sed command in the primitives target in byterun/Makefile is not working as it should for me.
<try-again> Parenthesis are used to extract a part of a sed-match. And the script relies on that i should get the largest match, but i don't... or so it appears to me.
metreo has left #ocaml [#ocaml]
metreo has joined #ocaml
<try-again> For example, sed -n -e "s/CAMLprim value \([a-z0-9_][a-z0-9_]*\).*/\1/p" floats.c gives me, among other strings, the string "caml_po".
<try-again> But no function caml_po exists in floats.c.
<try-again> The string appears to be a match of the function CAMLprim value caml_power_float(value f, value g).
<try-again> And this is why the build fails, I think.
<try-again> Maybe the build would go through if the sed pattern in the makefile was changed to "s/CAMLprim value \([a-z0-9_][a-z0-9_]*\)/\1/p" ... but I don't know enough opam to be able to try this patch.
<try-again> Don't really understand how the stuff gets packaged for the ocaml-base-compiler package in opam, but this seems to be the make target in the ocaml repo: https://github.com/ocaml/ocaml/blob/trunk/runtime/Makefile#L256
lyxia has quit [Quit: WeeChat 2.2]