Bugs: Browse | Download .csv
Attempt to build Batteries Version with the Makefile problems in OSX fixed in git 196b259fe784ed5be1ca921cdc6971b5cd727b38 description: https://forge.ocamlcore.org/tracker/index.php?aid=198 $ wget 'http://git.ocamlcore.org/cgi-bin/gitweb.cgi?p=batteries/batteries.git;a=snapshot;h=9bcc131f26430f97dd1b2c7f26001 67f7c16b4e4;sf=tgz' -O batts.tgz $ tar xfvz batts.tgz && cd batteries/ $ autoconf && ./configure --prefix=/usr/local/battest $ sudo make all opt top syntax install install-doc File "src/main/threads/batteries.ml", line 1, characters 0-1: Error: Wrong file naming: src/libs/camlzip/gzip.cmi contains the compiled interface for GZip Command exited with code 2. make: *** [all] Error 10
Date: 2009-09-05 22:30 Sender: David Teller Actually, someone else did this before me. Still, it should now work.
Date: 2009-09-02 23:52 Sender: David Teller I've just renamed module GZip. Hopefully, this will do the trick.
Date: 2009-07-15 04:57 Sender: Erick Tryzelaar I couldn't attach my patch here, so I submitted a separate patch here: https://forge.ocamlcore.org/tracker/index.php?func=detail&aid =241&group_id=17&atid=153
Date: 2009-07-15 04:52 Sender: Erick Tryzelaar I've got a fix for this, if I can figure out how to attach a file to this bug...
Date: 2009-07-14 09:38 Sender: Ben Jakob Yes, of course I did start from scratch. I even installed the whole environment from scratch this morning: - fresh install of godi with ocaml 3.11.1 - clone a local copy from the git repo /usr/local/src/batteries$ ls -l _build/src/libs/camlzip/ total 176 -rw-r--r-- 1 root admin 2033 Jul 14 09:16 gZip.cmi -rw-r--r-- 1 root admin 10842 Jul 14 09:16 gZip.cmo -rw-r--r-- 1 root admin 3128 Jul 14 09:16 gZip.ml -rw-r--r-- 1 root admin 76 Jul 14 09:16 gZip.ml.depends -rw-r--r-- 1 root admin 4003 Jul 14 09:16 gZip.mli -rw-r--r-- 1 root admin 51 Jul 14 09:16 gZip.mli.depends -rw-r--r-- 1 root admin 2056 Jul 14 09:16 innerGZip.cmi -rw-r--r-- 1 root admin 26410 Jul 14 09:16 innerGZip.cmo -rw-r--r-- 1 root admin 9361 Jul 14 09:16 innerGZip.ml -rw-r--r-- 1 root admin 80 Jul 14 09:16 innerGZip.ml.depends -rw-r--r-- 1 root admin 1745 Jul 14 09:16 innerGZip.mli -rw-r--r-- 1 root admin 51 Jul 14 09:16 innerGZip.mli.depends I dont know if this is of some use, but the message says: "File "src/main/threads/batteries.ml", line 1, characters 0-1: Error: Wrong file naming: src/libs/camlzip/gzip.cmi contains the compiled interface for GZip " but there is no such file: src/libs/camlzip/gzip.cmi /usr/local/src/batteries$ ls -l src/libs/camlzip/ total 56 -rw-r--r-- 1 ben admin 96 Jul 14 09:10 _tags -rw-r--r-- 1 ben admin 3128 Jul 14 09:10 gZip.ml -rw-r--r-- 1 ben admin 4003 Jul 14 09:10 gZip.mli -rw-r--r-- 1 ben admin 9361 Jul 14 09:10 innerGZip.ml -rw-r--r-- 1 ben admin 1745 Jul 14 09:10 innerGZip.mli thanks for your patience edgar
Date: 2009-07-01 05:50 Sender: Edgar Friendly 1) have you rebuilt from scratch to make sure this problem isn't some fluke? 2) is there really a file gzip.cmi within the _build/ tree? (Probably _build/src/libs/camlzip/) (paste [ls -l] for that folder, please) Thanks for having patience with my inability to see the heart of the problem.
