Re: [Caml-list] Compiling Cryptokit on Windows
Le 06/02/2012 18:09, Romain Bardou a écrit : Hi list, There has been some discussion during the last few months were some argued that there was not enough Windows users to test libraries. Well it happens that I need to compile Cryptokit for Windows. Here are my first results, which failed miserably. I'm using OCaml 3.12. 1) With Cryptokit 1.5. INSTALL.txt states that I need findlib. I installed OCaml from: http://protz.github.com/ocaml-installer/ And it seems that ocamlfind is not installed by this tool. After more search I read here: http://www.camlcity.org/archive/programming/findlib.html that Volunteers are still wanted who port findlib to Windows and Macintosh. So I guess that every OASIS project needs findlib, but findlib does not work on Windows, so all OASIS projects will not be usable on Windows? I thought on the contrary that OASIS was a step towards unification? I tried anyway without findlib, running: ocaml setup.ml -configure I get this error: 'c:\Program' n'est pas reconnu en tant que commande interne (i.e. unrecognized internal command). The command which is supposed to be run is: c:\Program Files\OCaml\bin\ocamlc.opt.EXE -config somefile.txt It just misses quotes, which seems kind of silly. 2) With Cryptokit 1.3. So I gave up and tried an older version whose INSTALL file explains how to install on Windows. I checked variables in Makefile.win and ran: make -f Makefile.win Now the error I get is that gcc cannot find C:\Program Files\OCaml\lib/ocamlrun.a, which actually does not exist, so this is not a surprise. This file ocamlrun.a does not exist either on my Debian computer, so I'm a little surprised here. I think I'll try cross-compiling now, or maybe editing setup.ml to put quotes around the command. Cheers, Hi list, First of all, thanks to Gerd, David and Adrien for their answers. I was eventually able to take the time to tackle this problem again and my program compiles and runs just fine on Windows now, with Cryptokit 1.5. I had to: - reinstall OCaml in a directory without any space in it (otherwise Cryptokit would not configure without a hack, and would not compile even with the hack); - modify cryptokit/setup.data, there was a reference to Program Files, but I don't think it was actually used so this step might not be useful; - move the source of Cryptokit to a directory without any space in it (otherwise it would not install); - compile and install findlib. Then Cryptokit would compile and install. I was then able to link with it. I also tried cross-compiling but I failed, because (I think) mingw32-ocamlmklib produces a .dll (which makes sense) but Cryptokit believes it is in an environment where DLL are .so files. With more work I'm pretty sure it could be done but maybe not without modifying the compilation process of Cryptokit. Maybe it's just a matter of changing one parameter somewhere. To sum up, here are some general ideas that would improve the OCaml developing environment when Win32 is involved. 1) In OASIS: fix the handling of paths with spaces in them. 2) In the OCaml binary installer: install Findlib by default. After all, it installs emacs, but emacs is much less mandatory for OCaml programming than Findlib. 3) In Debian: provide a findlib package which could be used for cross-compiling with mingw32. It would be configured to use the cross-compiled mingw32 OCaml libraries in /usr/i686-w64-mingw32/lib/ocaml. Maybe it could simply install a shell script which would call the existing Linux ocamlfind, but using a different configuration file by default. 4) In Debian also: provide Ocamlbuild with the mingw32 cross-compilation tools for OCaml. For instance, /usr/bin/i686-w64-mingw32-ocamlbuild. This Ocamlbuild would be configured to use the /usr/bin/i686-w64-mingw32-ocaml* executables by default, and to believe it runs in a Windows environment (so as to handle ocamlmklib and its output .dll file correctly). 5) In OASIS: do something to help with cross-compilation. For instance, add a -build-cross-mingw32 option to setup.ml or something. If 3) and 4) are available, it would be easy to implement. Else, instead of looking for ocamlc in the path, look for i686-w64-mingw32-ocamlc. I don't know whether this name is Debian-only though. And other tweaks would be necessary so that Ocamlbuild is happy. Regarding 3, 4, and 5, maybe I'm doing it wrong though. I'm not very familiar with cross-compiling. Cheers, -- Romain -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] The Alan Turing Centenary Conference
THE TURING CENTENARY CONFERENCE Manchester, UK, June 22-25, 2012 http://www.turing100.manchester.ac.uk/ First announcement and call for submissions Features: (1) Ten Turing Award winners, a Templeton Award winner and Garry Kasparov as invited speakers (2) 20,000 pounds worth best paper award program, including 5,000 pounds best paper award (3) Three panels and two public lectures (4) Turing Fellowship award ceremony (5) and many more ... For more details please check http://www.turing100.manchester.ac.uk/. SPEAKERS Confirmed invited speakers: - Fred Brooks (University of North Carolina) - Rodney Brooks (MIT) - Vint Cerf (Google) - Ed Clarke (Carnegie Mellon University) - Jack Copeland (University of Canterbury, New Zealand) - George Francis Rayner Ellis (University of Cape Town) - David Ferrucci (IBM) - Tony Hoare (Microsoft Research) - Garry Kasparov (Kasparov Chess Foundation) - Don Knuth (Stanford University) - Yuri Matiyasevich (Institute of Mathematics, St. Petersburg) - Roger Penrose (Oxford) - Adi Shamir (Weizmann Institute of Science) - Michael Rabin (Harvard) - Leslie Valiant (Harvard) - Manuela M. Veloso (Carnegie Mellon University) - Andrew Yao (Tsinghua University) Confirmed panel speakers: - Ron Brachman (Yahoo Labs) - Steve Furber (The University of Manchester) - Carole Goble (The University of Manchester) - Pat Hayes (Institute for Human and Machine Cognition, Pensacola) - Bertrand Meyer (Swiss Federal Institute of Technology) - Moshe Vardi (Rice University) SUBMISSIONS: Submissions are welcome in all areas related to the work of Alan Turing in computer science, mathematics, cognitive science and mathematical biology. A non-exclusive list of topics is shown below: - computation theory - logic in computation - artificial intelligence - social aspects of computation - models of computation - program analysis - mathematics of evolution and emergence - knowledge processing - natural language processing - cryptography - machine learning See http://www.turing100.manchester.ac.uk/index.php/submission for more details. BEST PAPER AWARDS: A subset of poster session submissions will be selected as candidates for best paper awards: - The best paper award of 5,000 pounds - The best young researcher best paper award of 3,000 pounds - The second best paper award of 2,500 pounds - The second best young researcher best paper award of 1,500 pounds - Sixteen (16) awards of 500 pounds each See http://www.turing100.manchester.ac.uk/index.php/submission/bestpaper for more details. REGISTRATION: The number of participants is limited. Register early to avoid disappointment! DATES: February 23:Paper submission opens March 1:Registration opens March 15: Extended abstract submission deadline March 29: Poster session notification and selection of candidates for the best paper awards April 20: Full versions of papers selected for the best paper awards May 1: Final versions of poster session papers May 21: Best paper award decisions May 28: Final versions of papers selected for the best paper awards June 22-25: Conference CHAIRS: Honorary Chairs: Rodney Brooks (MIT) Roger Penrose (Oxford) Conference Chairs: Matthias Baaz (Vienna University of Technology) Andrei Voronkov (The University of Manchester) Turing Fellowships Chair: Barry Cooper (University of Leeds) Programme Chair Andrei Voronkov (The University of Manchester) -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] calmp5 pa_pragma
Hi, Daniel, I noticed that camlp5 has a pretty nice extension pa_pragma, would you like shed some light on this? (I mean the design issue, and the its defect) I would be happy to port it to camlp4 if it's not too difficult -- Best, bob -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] Some utilities about camlp4
Hi, List the meta filter distributed with camlp4 is buggy and unmodular, I put a modular one here http://seas.upenn.edu/~hongboz/meta_filter.zip building with syntax extension is really easy provided this file http://www.seas.upenn.edu/~hongboz/myocamlbuild.ml It works with .inferred.mli, .pp.ml as well -- Best, bob -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] Re: calmp5 pa_pragma
Sorry, I typed the wrong mail address... On Mon, Feb 20, 2012 at 6:55 PM, bob zhang bobzhang1...@gmail.com wrote: Hi, Daniel, I noticed that camlp5 has a pretty nice extension pa_pragma, would you like shed some light on this? (I mean the design issue, and the its defect) I would be happy to port it to camlp4 if it's not too difficult -- Best, bob -- Best, bob -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] some tricks about ocaml
Hi list, This may be useful http://www.seas.upenn.edu/~hongboz/master.pdf Caveat: it's totally unorganized, but you may find something useful, (some pieces does not reflect what I think now, they should be rewritten) -- Best, bob -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] camlp5 pa_pragma
Hi, On Tue, Feb 21, 2012 at 12:56:10AM +0100, bob zhang wrote: I noticed that camlp5 has a pretty nice extension pa_pragma, would you like shed some light on this? It allows to execute code at syntactic analysis phase and, therefore, to do syntactic extensions without having to previously compile a file, containing these extensions. I am not very satisfied of it, because the evaluation supposes to type expressions, or to try to type them, what, normally, Camlp* are not supposed to do. It is complicated, incomplete and perhaps dangerous. To be correct, it should embark the OCaml toplevel and, therefore, the whole OCaml compiler, what is not a good idea. I tried to limit it to evaluation of syntax extensions but it remains complicated. Probably we should define a precise sub-language for it. (I mean the design issue, and the its defect) I would be happy to port it to camlp4 if it's not too difficult I am afraid it is. -- Daniel de Rauglaudre http://pauillac.inria.fr/~ddr/ -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs