Re: [Demexp-dev] CDuce in Debian, CamlRPC package update
Hello, Thomas Petazzoni a écrit : For the moment, I cannot easily build DemExp for testing (because of Ocaml 3.08.3 not being in testing). Finally, I found a simple way to build the packages for testing. I just uploaded uptodate versions of CamlRPC, CDuce and DemExp for the testing distribution on my personal repository. Don't hesitate to report your problems while using these packages, Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list [EMAIL PROTECTED] http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] XDR file compilation issue
Hello, I've tried to compile the messages.xdr file of DemExp with an other RPC Generator, and ran into problems : Syntax error at 'question_status_e' (lineno 85) Syntax error at 'info_on_participant_t' (lineno 119) Syntax error at 'info_on_tag_t' (lineno 139) Syntax error at 'question_tag_set_t' (lineno 149) I've traced down the problem, and found that it came from the use of «enum type» instead of «type» when declaring types using a previously defined type. Example of what contains messages.xdr : enum { b = 1, c = 1 } mytype; struct blabla { enum mytype m; }; struct toto { struct blabla meuh; }; First of all, I thought it was a bug of my RPC Generator. In fact, after reading RFC 1014 (http://ietf.org/rfc/rfc1014.txt), I think the problem is a laxism in the Ocaml RPC Generator : «struct blabla meuh» should not be allowed. In section 5.3 of the RFC, you'll find the BNF grammar of the XDR language. Let's take the example of the definition of structure «blabla». It is a type definition, so we'll start at «type-def» in the grammar. Then it's the definition of the structure, so we have «struct», followed by an identifier, followed by the struct-body, and finally by a «;». A struct-body is a list of declaration separated by «;», and enclosed in braces. A declaration might be many things. Our XDR file contains «enum mytype m» as declaration. Suppose it matches the «type-specifier identifier» entry of the declaration: list. A type-specifier can be an «enum-type-spec», but an enum-type-spec is the string «enum», followed by an enum-body. In our case, the enum body is not inside the declaration of «struct blabla». So it's not the «enum-type-spec» rule that matches in the type-specifier: list. So, I think it is not possible to use «enum mytype m» inside the declaration of a structure. The correct syntax seems to be : struct blabla { mytype m; }; In this case, the «type-specifier» is simply «identifier», and it works. Similarly, one should write : struct toto { blabla meuh; }; I am not completely sure of this, since I'm not a BNF expert, but it seems to be confirmed by the example in section 6 of the RFC. In this example, a «union filetype» is defined, and then used directly as «filetype» in the definition of «struct file». The attached dpatch fixes the problem. The XDR file still compiles with ocamlrpcgen, and DemExp still compiles with it. And my RPC Generator also compiles it ! ;-) If I'm right, it may be a good idea to report a bug to the developers of ocamlrpcgen to tell them that their RPC generator is too laxist. Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 #! /bin/sh /usr/share/dpatch/dpatch-run ## xdr-conformance.dpatch by <[EMAIL PROTECTED]> ## ## All lines beginning with `## DP:' are a description of the patch. ## DP: No description. @DPATCH@ diff -urNad demexp-0.4/net/messages.xdr.nw /tmp/dpep.sl3ozH/demexp-0.4/net/messages.xdr.nw --- demexp-0.4/net/messages.xdr.nw 2005-03-15 18:50:27.0 +0100 +++ /tmp/dpep.sl3ozH/demexp-0.4/net/messages.xdr.nw 2005-04-17 15:12:00.649797208 +0200 @@ -155,7 +155,7 @@ question_desc_t q_desc; login_t q_info_author; date_t q_info_limit_date; - enum question_status_e q_info_status; + question_status_e q_info_status; response_t q_info_responses; int q_info_elected_responses; }; @@ -199,7 +199,7 @@ struct participant_info_return_t { return_code_t participant_info_rc; - struct info_on_participant_t participant_info; + info_on_participant_t participant_info; }; @ @@ -227,7 +227,7 @@ struct tag_info_return_t { return_code_t tag_info_rc; - struct info_on_tag_t tag_info; + info_on_tag_t tag_info; }; @ @@ -241,7 +241,7 @@ struct tag_set_group_t { return_code_t tag_set_group_rc; - struct question_tag_set_t tag_set_group; + question_tag_set_t tag_set_group; }; @ signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] XDR file compilation issue
Hello, Thomas Petazzoni a écrit : The attached dpatch fixes the problem. The XDR file still compiles with ocamlrpcgen, and DemExp still compiles with it. And my RPC Generator also compiles it ! ;-) As it never works the first time, you'll find attached to this mail a new dpatch that replaces the previously sent one. Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 #! /bin/sh /usr/share/dpatch/dpatch-run ## xdr-conformance.dpatch by <[EMAIL PROTECTED]> ## ## All lines beginning with `## DP:' are a description of the patch. ## DP: No description. @DPATCH@ diff -urNad demexp-0.4/net/messages.xdr.nw /tmp/dpep.D5zgjm/demexp-0.4/net/messages.xdr.nw --- demexp-0.4/net/messages.xdr.nw 2005-03-15 18:50:27.0 +0100 +++ /tmp/dpep.D5zgjm/demexp-0.4/net/messages.xdr.nw 2005-04-17 15:49:05.376700178 +0200 @@ -155,7 +155,7 @@ question_desc_t q_desc; login_t q_info_author; date_t q_info_limit_date; - enum question_status_e q_info_status; + question_status_e q_info_status; response_t q_info_responses; int q_info_elected_responses; }; @@ -199,7 +199,7 @@ struct participant_info_return_t { return_code_t participant_info_rc; - struct info_on_participant_t participant_info; + info_on_participant_t participant_info; }; @ @@ -227,7 +227,7 @@ struct tag_info_return_t { return_code_t tag_info_rc; - struct info_on_tag_t tag_info; + info_on_tag_t tag_info; }; @ @@ -241,7 +241,7 @@ struct tag_set_group_t { return_code_t tag_set_group_rc; - struct question_tag_set_t tag_set_group; + question_tag_set_t tag_set_group; }; @ @@ -339,7 +339,7 @@ <>= return_code_t set_question_status(cookie_t, question_id_t, - enum question_status_e) = 7; + question_status_e) = 7; @ Method [[vote]] registers on server the vote on question of identifier ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] xml.cd.nw patch.
Saluton Serge, Serge Leblanc wrote: Saluton David, Äi kune fliko por ./srv/xml.cd.nw. Hello David, herewith a patch for /srv/xml.cd.nw. Mi jam sendis la saman flikon sur la demexp-dev dissendlisto (8-a april). Mi kredas ke David atendas la CDuce eldonon 0.3 en Debian ÂtestingÂ. I already sent this patch on the demexp-dev list (on April, 8th). I think that David's waiting for CDuce 0.3 in Debian testing. Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] demexp servers re-started
Hello, David MENTRE a écrit : > I don't know what has happened, there are no strange events in the > logs. The tuxinette machine hasn't be rebooted. Maybe they have been killed by some administrator ? ;-) Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] DemExp 0.4 compilation issue with CDuce 0.3.9
Hello, I'm trying to compile DemExp 0.4 with CDuce 0.3.9, but I'm facing a compilation problem. The compilation process stalls at: ocamlfind ocamlopt -linkpkg -c -package "rpc str" -package "cduce pxp-engine pxp-lex-utf8 pcre netstring netclient ulex equeue threads num" -I srv -I net -I lib -I bitv-0.5 -I +camlp4 -thread -I srv -I net -I lib -I bitv-0.5 -pp "cdo2ml -static" -impl srv/xml.cdo and doesn't progress anymore. Running the command with strace shows that it's waiting for a child to finish: $ strace ocamlfind [...] clone(child_stack=0, flags=CLONE_CHILD_CLEARTID|CLONE_CHILD_SETTID|SIGCHLD, child_tidptr=0xb7e810c8) = 940 waitpid(940, Process 940 is the ocamlopt process : thomas 940 0.0 0.4 3568 2164 pts/1S+ 19:03 0:00 /usr/bin/ocamlrun /usr/bin/ocamlopt [...] Any idea ? Maybe the preprocessor cdo2ml is broken ? For those who want to try the compilation with CDuce 0.3.9, Debian packages for stable, testing and unstable are available on my Debian repository (http://thomas.enix.org/pub/debian/packages, as usual). I have two Lintian warnings left after what CDuce 0.3.9 might get uploaded into Debian. Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] DemExp 0.4 compilation issue with CDuce 0.3.9
Hello, Thomas Petazzoni a écrit : > I'm trying to compile DemExp 0.4 with CDuce 0.3.9, but I'm facing a > compilation problem. The compilation process stalls at: I traced down the issue a bit further, and I come to the conclusion that cdo2ml doesn't work the way it worked, or it is buggy. Trying to manually run cdo2ml doesn't work (it waits forever). Running it with strace gives interesting stuff : $ strace cdo2ml -static 'srv/xml.cdo' > /tmp/camlppef6c24 [...] _llseek(0, 0, 0xb720, SEEK_CUR) = -1 ESPIPE (Illegal seek) _llseek(1, 0, [0], SEEK_CUR)= 0 _llseek(2, 0, 0xb710, SEEK_CUR) = -1 ESPIPE (Illegal seek) read(0, It stalls on the "read(0, " system call. I have no idea why it doesn't work. And you ? ;-) Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] DemExp 0.4 compilation issue with CDuce 0.3.9
Hello, [ Sorry for breaking the thread, but my last e-mail didn't reach yet the demexp-dev mailing-list, for some reason. Maybe because the server is slow ] Thomas Petazzoni a écrit : > I traced down the issue a bit further, and I come to the conclusion that > cdo2ml doesn't work the way it worked, or it is buggy. Trying to > manually run cdo2ml doesn't work (it waits forever). Running it with > strace gives interesting stuff : As I said in the other e-mail, the problem was that the preprocessor to use is "cduce --mlstub" instead of "cdo2ml --static". However, running "cduce --mlstub" doesn't work, because it looks for cdo2ml in the current directory. I have found a simple work around: using -pp "/usr/bin/cduce --mlstub". I've debugged the thing a bit, and came to the conclusion that when "cduce" is run directly (assuming it's in the PATH), then Sys.argv.(0) doesn't return the full path, and then "cdo2ml" path is incorrect. The thing I don't understand is that when I run the ocaml interpreter from the command line, and then invokes Sys.argv.(0), it correctly displays the absolute filename : [EMAIL PROTECTED]:~$ ocaml Objective Caml version 3.08.3 # Sys.argv.(0);; - : string = "/usr/bin/ocaml" Any idea of what's going on ? Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] DemExp 0.4 compilation issue with CDuce 0.3.9
Hello, Thomas Petazzoni a écrit : > I traced down the issue a bit further, and I come to the conclusion that > cdo2ml doesn't work the way it worked, or it is buggy. Trying to > manually run cdo2ml doesn't work (it waits forever). Running it with > strace gives interesting stuff : I went further again. According to the CHANGES file of CDuce 0.3.9, one shouldn't use 'cdo2ml' directly as a preprocessor, but should rather use the new '--mlstub' CDuce option. According to the documentation [1] : === Compile the OCaml glue code ocamlfind ocamlc -c -package cduce -pp "cduce --mlstub" -impl foo.cdo. The --mlstub option tells CDuce to extract the OCaml glue code from the CDuce bytecode file. You can directly run cduce --mlstub on a .cdo file to better understand how the OCaml/CDuce interface works. === So, in the Makefile, I replaced -pp "cdo2ml -static" by "cduce --mlstub", but now, cduce --mlstub fails at finding cdo2ml, because it looks for it in the current directory : [EMAIL PROTECTED]:~/demexp/debian/demexp/trunk/demexp-0.4$ cduce --mlstub srv/xml.cdo /bin/sh: ./cdo2ml: Aucun fichier ou répertoire de ce type I grepped in cduce source code, and I think the call to cdo2ml is in ocamliface/mlstub.ml, around line 550 : let exe = Filename.concat (Filename.dirname Sys.argv.(0)) "cdo2ml" in print_endline prolog; let oc = Unix.open_process_out exe in Marshal.to_channel oc str_items []; flush oc; ignore (Unix.close_process_out oc) The Filename.concat (Filename.dirname Sys.argv.(0)) "cdo2ml" stuff must be wrong, but hey, how could I fix it, I don't program in Caml ! ;-) Caml experts, any idea ? Sincerly, Thomas [1] http://www.cduce.org/manual_interfacewithocaml.html -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] Problem while using cduce --mlstub
Hello, Today, I tried to compile DemExp 0.4 (http://www.demexp.org) with CDuce 0.3.9 (it worked fine with CDuce 0.3.2). As stated in the CHANGES file, I changed the preprocessor to "cduce --mlstub" instead of "cdo2ml --static". However, compilation fails because "cduce --mlstub" tries to execute cdo2ml from the current directory, and not from /usr/bin: [EMAIL PROTECTED]:~/demexp/debian/demexp/trunk/demexp-0.4$ cduce --mlstub srv/xml.cdo /bin/sh: ./cdo2ml: No such file or directory Instead, if I do : [EMAIL PROTECTED]:~/demexp/debian/demexp/trunk/demexp-0.4$ /usr/bin/cduce --mlstub srv/xml.cdo everything works correctly. I've traced down to the Ocaml source code in ocamliface/mlstub.ml, around line 550, where the path to cdo2ml is built: let exe = Filename.concat (Filename.dirname Sys.argv.(0)) "cdo2ml" in print_endline prolog; let oc = Unix.open_process_out exe in Marshal.to_channel oc str_items []; flush oc; ignore (Unix.close_process_out oc) Conclusion: when "cduce" is run directly (under the condition that it is in the PATH), the cdo2ml is wrongly built. However, when "cduce" is runned with its absolute path, it works. I've tried Sys.argv.(0) in an ocaml interpreter and it correctly prints the absolute path even if the ocaml interpreter has been run directly ("ocaml" and not "/usr/bin/ocaml"). So I don't understand why it doesn't work, but I'm not a Caml expert, so I can't go further. Is it a bug ? Did I miss something ? Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] DemExp 0.4 compilation issue with CDuce 0.3.9
Hello, David MENTRE a écrit : > A simple solution seems to avoid that path handling at all, assuming > cdo2ml is in the PATH. So we would have: Okay, this appears to be a solution. However, I mailed the cduce users mailing list to raise this issue, and we'll see what solution they prefer. Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] DemExp 0.4 compilation issue with CDuce 0.3.9
Hello, David MENTRE a écrit : > A possible explanation: when you run "cduce" directly, the calling > process cd to the directory where cduce lives and starts ./cduce, which > does not happen if you give the absolute path. If the process calling cduce cd'ed into the cduce directory (i.e /usr/bin), then calling ./cdo2ml should work, because cdo2ml is in /usr/bin ;-) Yours, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] CDuce 0.3.9 vs DemExp 0.4: next issue
Hello, Yesterday, after having finally found a work-around for the cdo2ml strangeness, I came accross the following error: ocamlfind ocamlopt -linkpkg -c -package "rpc str" -package "cduce pxp-engine pxp-lex-utf8 pcre netstring netclient ulex equeue threads num" -I srv -I net -I lib -I bitv-0.5 -I +camlp4 -thread -I srv -I net -I lib -I bitv-0.5 -pp "/usr/bin/cduce --mlstub" -impl srv/xml.cdo The implementation srv/xml.cdo does not match the interface srv/xml.cmi: The field `load' is required but not provided The field `save' is required but not provided The field `xml_content' is required but not provided The field `tagid_list' is required but not provided The field `tag' is required but not provided The field `question' is required but not provided The field `question_status' is required but not provided The field `vote' is required but not provided The field `response' is required but not provided The field `participant' is required but not provided The field `participant_kind' is required but not provided make: *** [srv/xml.cmx] Erreur 2 As I have no clue about how CDuce works or what it precisely does, I'm a bit stuck. Any idea ? Sincerly, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] Re: Testing latest CDuce
Hello, David MENTRE wrote: Can you leave somewhere the old cduce package so I can roll back my cduce version to 0.3.2? CDuce 0.3.2 is available in sarge, etch and sid on all official mirrors, so it shouldn't be much of a trouble to roll back to this version ;-) Sincerly, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] Re: [cduce-users] Problem while using cduce --mlstub
Hello, Alain Frisch wrote: I guess the problem comes from different behaviors between shells (they can put whatever they want in argv[0]). The next version of CDuce will get rid of the external tool. Okay, thanks. Will the other external tool mlcduce_wrapper disappear in next version ? Currently, CDuce intalls these externals tools in /usr/bin, but Debian policy doesn't like undocumented binaries in /usr/bin. Debian wants either man-documented binaries in /usr/bin, or private undocumented tools in /usr/lib//. To correctly package the current version of the CDuce, I would have to hack it to that I can move cdo2ml and mlcduce_wrapper to /usr/lib/cduce/. So, if these tools are going to disappear soon, I think I'll wait for the next version ;-) Sincerly, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] demexp 0.6 Debian package available
Hi, I've finally been able to generate Debian packages for the upcoming 0.6 version of demexp. People using the stable (aka sarge) distribution should add the following line to your /etc/apt/sources.list: deb http://thomas.enix.org/pub/debian/packages/stable ./ People using the testing (aka etch) distribution should add the following line to your /etc/apt/sources.list: deb http://thomas.enix.org/pub/debian/packages/testing ./ People using the unstable (aka sid) distribution should add the following line to your /etc/apt/sources.list: deb http://thomas.enix.org/pub/debian/packages/unstable ./ Then, you can install either the server of the client: # apt-get update # apt-get install demexp-client-gtk2 # apt-get install demexp-server (Note: you might get some warnings concerning missing GPG signatures. They are normal : I didn't yet had the time to set up a real Debian repository with GPG signing mechanisms) Packages for the older version of demexp (0.4) are still available. They have been renamed demexp0.4-client-gtk2 and demexp0.4-server. They might be useful if 0.4 servers are still running, because 0.6 client does not allow to connect to 0.4 servers. However, these packages are not yet available for the unstable distribution, because of a bug in a dependency which should be fixed soon. For demexp developers, I've also updated camlrpc packages to version 0.4.4 and cduce packages to version 0.3.91. I've also created a new package, camlgz, needed to compile demexp 0.6 (the binary packages for camlgz are libgz-ocaml and libgz-ocaml-dev). All these packages are available in my Debian repository. On Debian inclusion: Camlrpc 0.4.4 has been uploaded into Debian unstable, and should be available on all mirrors quite soon. CDuce 0.3.91 should be uploaded in a few days. Camlgz has not yet been added, but another Caml developer was interested in seing this package added to Debian, so it may happen some day. All my work on Debian packages is available from the Debian Ocaml Maintainer Subversion repository. For example, to get my work on demexp, simply do: $ svn co svn://svn.debian.org/pkg-ocaml-maint/trunk/packages/demexp/ Don't hesitate to report any issue while installing or using these packages. Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] demexp utilisability
Hello, Currently, when one installs and runs the demexp 0.6 client, it faces with a "Connection refused" error. I think it would be nice if the client could connect to a test server out-of-the-box, directly after installation, without any need to tune preferences. Currently, preferences are stored in the ~/.demexp/ directory, so I cannot setup default preferences at package installation. Would it be possible to have global configuration files in /etc/demexp/ for example ? Or maybe, simpler, would it be possible to hard-code a default, server, login and password in the server that would be used by default ? Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] demexp utilisability
Hi, skaller wrote: When demexp starts, if ~/.demexp is not found, go into a setup mode and offer to configure login to one of the known servers (or type in you choice). Actually, one of the thing I wanted to do for demexp is to create a "Connection Window" or something like in which the user could add servers and associated logins. Then a menu with all servers could be displayed, and the user will only have to choose between them. There's however a minor issue: I don't program in Ocaml ;-) Sincerly, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] demexp 0.6 Debian package available
Hi, [ I'm wondering what's the correct usage of the mailing-lists ? Is demexp-dev supposed to be an english-speaking mailing-list ? What's the difference with demexp-en ? Is demexp-dev technical, and demexp-en a mailing-list for the broader political project ? Anyway, I removed demexp-fr from the Cc: list since we're speaking english. ] skaller wrote: I use Ubuntu, which is basically debian, so I'm interested BUT I have to ask what binaries you're providing? I do not yet provide binaries for Ubuntu, but I may do so within next week, if I find the time to set up the proper pbuilder environnements. In the mean time, it's maybe possible to use the Debian packages in Ubuntu, I don't know. I run Linux on x86_64 ... I do not provide x86_64 yet. Frederic Lehobey should quite soon provide PowerPC and SPARC binaries, but no one said that he would provide x86_64 binaries. However, I recently bought an x86_64 box, but I'm still running in 32bit mode (didn't had time to reinstall my Debian). This is all a bit messy, Debian doesn't support x86_64 yet, and only recently has the patched ocamlopt been added to the Debian archive .. kind of curious since Debian will never build it (but the Ubuntu rewrap does). Debian doesn't officially support x86_64, but unofficial Sarge ISOs are available for this architecture, which is well maintained. Regarding Ocaml support for x86_64, I have no idea, I'm not an expert in that area. I had one heck of a time trying to build demexp from source due to all the dependencies, some of them not building properly on x86_64. I also can't get GODI to work at the moment from CVS. All dependencies are already packaged in Debian, so, using the demexp work I've done (which is available through SVN), you should be able to produce x86_64 binaries without too much trouble. If you're interested in doing so, let me know, and I'll try to give more details about it. Sincerly, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Debian packages (was Re: [Demexp-dev] New stable version 0.6 is out!)
Hello, David MENTRE a écrit : > demexp 0.6 is out! demexp is an electronic voting system for wide scale > direct democracy. demexp is a software developped for the democratic > experience project (http://www.demexp.org), but it can be used in other > contexts (communities, firms, ...). Debian packages for this version are available for the Sarge (stable) [1] and Etch (testing) [2] distribution from the usual repository. For the moment, I cannot produce the Sid (unstable) package because of a missing dependency in another package [3]. Thanks David for this 0.6 version ! Sincerly, Thomas [1] http://thomas.enix.org/pub/debian/packages/stable/ [2] http://thomas.enix.org/pub/debian/packages/testing/ [3] http://lists.debian.org/debian-ocaml-maint/2005/08/msg00048.html -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] And now, what for demexp--dev--0.7?
Hello, skaller a écrit : > yes, this is more of a problem. I have some friends who > I would love to tell "Hey, do 'apt-get install demexp-client' and > tell me what you think!" Debian packages are available for the demexp client and for the demexp server. If you're using Sarge, simply add the following line to your /etc/apt/sources.list: deb http://thomas.enix.org/pub/debian/packages/stable/ ./ And then: # apt-get update # apt-get install demexp-client-gtk2 > I would also love to say "Hey, can you install a server > for my project please" to another friend -- he has access > to a machine that can be used as a host (i.e. he can > configure it to allow a server to run on various ports). # apt-get install demexp-server Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] And now, what for demexp--dev--0.7?
Hi, skaller a écrit : > Recall this is useless for me: I'm running x86_64 architecture. > I can run x86 statically linked executables .. and even > x86 dynamic ones .. provided the required libraries > are available as x86. Debian can't support multi-arch, > and unlike GODI can't rebuild from source either. With Debian, you can rebuild from source using apt-build [1]. All the dependencies are available from Debian AMD64 mirrors (camlrpc, cduce, liblablgtk2). The only dependency not available in Debian mirrors is camlgz, because it has not yet been added to the Debian infrastructure (and it's the same for all architectures !). So basically, what you have to do is to apt-build camlgz, install the resulting packages (libgz-ocaml and libgz-ocaml-dev), and then apt-build demexp. The build process will automagically download any dependency for you. Sincerly, Thomas [1] http://julien.danjou.info/article-apt-build.html -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: Debian packages (was Re: [Demexp-dev] New stable version 0.6 is out!)
Hi, Thomas Petazzoni a écrit : > For the moment, I cannot produce the Sid (unstable) package because of a > missing dependency in another package [3]. Bug tracked and reported at http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=321575, with the help of Samuel Mimram. I have to wait for a libcurl-ocaml-dev upgrade before being able to produce unstable packages. Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: Debian packages (was Re: [Demexp-dev] New stable version 0.6 is out!)
Hello, Thomas Petazzoni a écrit : > For the moment, I cannot produce the Sid (unstable) package because of a > missing dependency in another package [3]. The 'unstable' packages are now available, upgrade ! ;-) Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] And now, what for demexp--dev--0.7?
Hi, David MENTRE a écrit : > Yes, but as I don't specially find the current interface particularly > user friendly and as I am the main developer of it, I assume that a new > user would be lost in front of it. A good UI doesn't need a user manual. Actually, I'm not sure that any of the demexp GUI will be usable without reading a manual. Demexp has various concepts unknown to many people, and one can't really use a software without understanding the underlying concepts. It's even more important for a voting software, in which your actions are important, as they "engage" yourself. Of course, nowadays, switching to a new word processor, web browser, e-mail client is quite easy, because you know the concepts behind these applications. However, if you want to start using The Gimp or Blender, or some other tool specific to an area you're not used to, you won't be able to really use these softwares without reading a bit of documentation. I think the primary goal could be an *efficient* GUI rather than a *intuitive* GUI. Take Blender as an example again: for the newcomer, it's not really intuitive. However, once one understood the idea of the tool, it's use is getting more and more efficient. So should demexp be ;-) Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Short doc to install ocamlgraph on Debian Sarge
Hello, David MENTRE wrote: Installing ocamlgraph on Debian Sarge = FWIW, a libocamlgraph-ocaml-dev package is available in Debian Sarge, Etch and Sid. Why do you need to compile it ? Because the Sarge version is too old ? Sincerly, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Delegation and ocamlgraph: an example and a list of issues
Hi, David MENTRE a écrit : > The example delegation graph is as followed. Delegate(n) is a delegate > of id /n/. The same for Individual(n). Question(n, tag_list) is a > question of id /n/ and with associated list of tags /tag_list/. > Delegation(t) is a delegation over tag /t/. Thanks for this explanation and diagram, this formalism really helps in understanding conflicts in delegation chains, in my opinion. > - there is a conflict for Individual(4) as he delegates on tag "t" to >Delegate(2) that makes a vote on Question(1) and as he votes directly >on the same Question(1). This conflict is due to the fact that >Question(1) has two tags "t" and "u". This conflict should be solve >by asking Individual(4) to give a preference between "t" and "u", and >taking into account only one of the two votes; > > - there is a conflict for Individual(1) as he delegates on tag "t" to >Delegate(2) and also delegates on tag "u" to Delegate(5). Both >delegations are leading to a vote on Question(1). In the same way, as >previously, using a preference of Individual(1), one should take only >one of the two votes into account. Just some quick thoughts about it. First of all, I'm not sure, as a demexp user that I'd be able to tell whether I would like to prefer tag "A" over tag "B". As a citizen, I really don't know how I could make an absolute decision to tell whether "Ecology" is more important than "Transport" for example. So, the tag preference mechanism solves the algorithmic problem, but does it really solves the political decision problem behind it ? On a more general point of view, I think that the biggest issue the demexp experience will face is the "human scalibility" problem. The delegation mechanism system is supposed to solve the human scalibility problem generated by the number of questions in the base. However, this pushes back the problem to the number of tags, the management of the delegations, and possibly the management of the tag preferences (to solve the delegation conflicts discussed previously). Even if the tag set is supposed to be far smaller than the question set, I think it'll still be big enough to be hardly managed by an human person. Your opinions ? Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Win32 binary for demexp 0.6
Hi, Frederic Lehobey a écrit : > It does not come from the client, but as explained on the demexp-fr > list, an invalid tag '*' has been introduced in the database. I > think only David can fix that. Yes, but it's still a bug if the client crashes with an exception when it encounters an invalid tag. Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Bug fix release: 0.6.1
Hi, David MENTRE a écrit : > I've just released 0.6.1 version of demexp. This stable release is a bug > fix release for two annoying bugs in the client: The Debian packages for sarge, etch and sid have been updated accordingly. You can find them at the usual place. Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] Ubuntu Hoary Packages
Hi, In addition to the already existing Debian Sarge, Etch and Sid demexp packages, I'm now able to generate packages for the Ubuntu Hoary distribution. These packages needed some adaptation to compile under Ubuntu Hoary, because package versions are not exactly the same. As I don't have an Ubuntu Hoary installation, I couldn't test these packages. Don't hesitate to report problems. To install these packages, add the following line to the /etc/apt/sources.list file: deb http://thomas.enix.org/pub/debian/packages/hoary/ ./ Then: # apt-get update # apt-get install demexp-client-gtk2 (Please note that demexp version 0.4 is not available as a package for Ubuntu hoary). Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Ubuntu Hoary Packages
Hi, skaller a écrit : > W: Couldn't stat source package list http://thomas.enix.org ./ Packages > (/var/lib/apt/lists/thomas.enix.org_pub_debian_packages_hoary_._Packages) - > stat (2 No such file or directory) Try deb http://thomas.enix.org/pub/debian/packages/hoary ./ (i.e. remove the leading slash). It seems to work for others, so it's quite likely that the problem is on your side. > W: GPG error: http://thomas.enix.org ./ Release: Unknown error executing > gpgv > W: You may want to run apt-get update to correct these problems For the moment, you can ignore them. I didn't had the time to set up a correct Debian packages repository, with GPG-signing. Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Ubuntu Hoary Packages
Hi, skaller a écrit : > .. forgot, of course i need amd64 .. :) As I already told you several times on this list: compile your package, and distribute the binaries. I can host them if you want. Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Ubuntu Hoary Packages
Hi, skaller wrote: > Yes, sure, but I need deb-src for that, and I need to figure > out how to actually do the builds, since Debian is quite > brain dead when it comes to building -- I mean there are > hundreds of commands/options for building stuff .. it's > not simple like GODI which just does it all from source > automatically. As I've already said numerous times on this list, have you tried apt-build, which « just does it all from source automatically » ? Sincerly, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] TLA has been dropped by Tom Lord
Hi, David MENTRE wrote: > - Subversion (svn): really nice but centralized; Did you give a try to svk ? It is a decentralized SCM built on top of Subversion. One of its advantages is that it is compatible with Subversion: you can checkout a regular SVN repository within svk, and someone using svn can checkout a SVK repository (so that he doesn't have to understand everything about decentralized SCM). When choosing an SCM, one should also pay attention to available graphical interfaces, as well as Web interfaces. Sincerly, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] TLA has been dropped by Tom Lord
Hi, David MENTRE wrote: > Ok, the easy exchange between svn and svk is interesting. Have you > tried SVK? The SVK web site seems to be down. :( > http://svk.elixus.org/ No, I haven't tried it personnaly, but a friend (how worked during the Google Summer of Code on Subversion) told me that it works nicely. Other links: http://svkbook.elixus.org/ http://qa.mandriva.com/twiki/bin/view/Main/ForkingCvsWithSvk Sincerly, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Possible fix for the "after classification" bug
Hi, Felix HENRY a écrit : > ocamlfind: Package `wd-xmlcompiler' not found I guess you need to compile ocaml-wdialog. (http://wdialog.sourceforge.net/) Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] Demexp 0.6.2 for Debian and Ubuntu
Hi, A few days after the release of demexp 0.6.2 by David Mentré, I've updated the Debian stable, Debian testing, Debian unstable and Ubuntu hoary packages to this new stable version. Packages are available at the usual place. Informations about the procedure is available at http://www.demexp.org/dokuwiki/doku.php?id=telechargement_demexp. This 0.6.2 version fixes a bug in the classification. Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://thomas.enix.org - Jabber: [EMAIL PROTECTED] KOS: http://kos.enix.org/ - SOS: http://sos.enix.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] Possible suggestions for the client
Hi, Here are a few suggestions concerning the graphical client: o The 'id' field of the tag list doesn't seem so useful to me. Something like the number of questions that have the tag would be much more useful, in my opinion ; o Maybe the 'N' and 'V' check boxes could be replaced by the number of new questions and the number of questions for which we still have to vote (or for which we have already vote) ; o It would be nice if the 'N', 'V' and 'U' fields had tooltips (http://developer.gnome.org/doc/API/2.0/gtk/GtkTooltips.html) so that it would be easier to know what they mean. o The 'id' column of the question list doesn't seem so useful to me. It could be deleted so that it would leave more space for the question text. The functionality of having the question ID could be replaced by an entry in a contextual menu which could copy in the clipboard the absolute URL of the selected question (the demexp://blabla/id URL). o Currently, when one wants to start using demexp, it has to run the client three times. First to configure the root login, then to create its own account, and finally to login with this new account. It would be much nicer if the user could use a « Wizard », launched the first time the client is run, to create its own account. One detail; question 149 has tag "question 149", but I can't see this tag in the list on the left. (There are other questions in the same case, why ?). Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] XDR _int32 attribute
Hi, While trying to compile the demexp XDR file with an other RPC generator, I found that this generator doesn't understand the « _int32 » attribute used at three places in the XDR file. I've grepped RFC 1014, and haven't found any occurence for this attribute. What is it ? Is it specific to ocamlrpcgen ? Defined in a revised RFC ? Thanks, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] Problem with preference saving ?
Hi, Today, when I tried to modify the preferences in my 0.6.2 demexp client, the new preferences were not taken into account when restarting the client. I've tried to remove my ~/.demexp/, tried with an other Unix user, same problem. I recompiled the tarball from scratch (in case of a trouble with the Debian packaging). Still the same problem. Am I the only one in this case ? Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Problem with preference saving ?
Hi David, David MENTRE wrote: > Did you try to specify a new default server different that > tuxinette.linux-france.org:5? Did you launch the client with the > URL of the new server in the command line? Here are the steps to reproduce (from my remembers): - rm -rf ~/.demexp* - demexp-client-gtk2 - warns about login as Anonymous - the client lists all question of tuxinette:5 - go in Edit->Preferences - change login to root/demexp, put something in delegate, and change server to localhost - save, quit the client - demexp-client-gtk2 - still the warning about login as Anonymous - client logged on tuxinette:5, and not localhost:5 Note: I might be doing something wrong. But I think it worked previously. Sincerly, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] XDR _int32 attribute
Hi, David MENTRE wrote: > Yes, it is specific to ocamlrpcgen. It is used to tell the compiler to > map the specified RPC int into an OCaml Int32. By default, I map all > int to native 31-bits OCaml integers. According to RFC 1014, section 3.1: == 3.1 Integer An XDR signed integer is a 32-bit datum that encodes an integer in the range [-2147483648,2147483647]. The integer is represented in two's complement notation. The most and least significant bytes are 0 and 3, respectively. Integers are declared as follows: int identifier; (MSB) (LSB) +---+---+---+---+ |byte 0 |byte 1 |byte 2 |byte 3 | INTEGER +---+---+---+---+ <32 bits> == So, a simple «int» should be 32-bits signed integer. If ocamlrpcgen doesn't do that by default, then I suppose it's broken. I don't have the source at hand, but if there are simple «int» in your XDR file, then it means that they are limited to 31-bits, which is not correct according to the RFC. Just for the culture, what's the purpose of the remaining bit in native OCaml integers ? > I suppose you implementation maps int to int32 so you can safely > ignore it with something like: > #define _int32 /* nothing */ Yep, that's what I did for the moment, but I just wanted to make sure that this wasn't going to create an incompatibility while communicating with the server. Thanks, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Problem with preference saving ?
Hi, David MENTRE wrote: > This should work if you start the client with demexp://localhost:5 > URL in the command line. Ok, works with the URL on the command line. However, I wasn't able to login on the locally running demexp server with root/demexp. Is it really the default root password ? Sincerly, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Problem with preference saving ?
Hi, David MENTRE a écrit : > 2005/9/27, Thomas Petazzoni <[EMAIL PROTECTED]>: > >>However, I wasn't able to login on the locally running demexp server >>with root/demexp. Is it really the default root password ? > > > Yes. I have checked in 0.6.2 sources, in participants.ml.nw: > """ > Function [[initialize_default_participant_base]] initializes the base of > participants with an empty base containing only one participant: an > administrator of name ``[[root]]'', of login ``[[demexp]]'' and > belonging to the group [[administration_group]]. > > \nextchunklabel{code:root-login} > <>= > let administration_group = "admin" > > let classification_group = "classifier" > > let initialize_default_participant_base () = > the_participant_base := create_participant_base (); > ignore(add_participant "root" "demexp" [administration_group; > classification_group]); > check_invariants () > @ > """ > > Have you tried following procedure? > > 1. demexp-gtk2-client demexp://localhost:5 > > 2. In Preferences, set login/pass to root/demexp > > 3. quit and restart client with demexp-gtk2-client demexp://localhost:5 Okay, I've tried this. The client correctly sends root/demexp, according to the following 'ngrep': crazy:/home/thomas# ngrep -d lo port 5 interface: lo (127.0.0.0/255.0.0.0) filter: (ip or ip6) and ( port 5 ) T 127.0.0.1:34057 -> 127.0.0.1:5 [AP] [EMAIL PROTECTED] ...rootdemexp.. However, I still got the « login invalid » dialog box. Here are the logs of the server when run with -d: [EMAIL PROTECTED]:~$ demexp-server -d <0>2005-09-27T22:16:26+0200 demexp server (0.6.2 -- U2: Unscalable & Unsecure) demexp server comes with ABSOLUTELY NO WARRANTY. This program is free software, and you are welcome to redistribute it under certain conditions (see http://www.gnu.org/licenses/gpl.html). <0>2005-09-27T22:16:26+0200 server: use bases 'bases.dmxp' <0>2005-09-27T22:16:26+0200 File "bases.dmxp" does not exists. Don't load bases. <0>2005-09-27T22:16:26+0200 server: opening main socket (127.0.0.1:5) <0>2005-09-27T22:16:26+0200 server: ready <0>2005-09-27T22:16:28+0200 RPC login(1, "root", **passw**) <0>2005-09-27T22:16:28+0200 => participant 'root' failed to log in, remains Anonymous (cookie:150854162) <0>2005-09-27T22:16:29+0200 RPC get_timestamps(150854162) <0>2005-09-27T22:16:29+0200 update timestamp list <0>2005-09-27T22:16:29+0200 RPC max_question_id(150854162) <0>2005-09-27T22:16:29+0200 => return max_question_id:-1 <0>2005-09-27T22:16:29+0200 RPC max_tag_id(150854162) <0>2005-09-27T22:16:29+0200 => return max_tag:-1 I must be doing something really really wrong. But I can't see what. Is the message regarding the non-existing bases.dmxp a problem ? Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Problem with preference saving ?
Hi, Thomas Petazzoni a écrit : > <0>2005-09-27T22:16:28+0200 RPC login(1, "root", **passw**) After a small modification of the server, I've been able to see that the received password is really "demexp", as suggested by the network trace. <0>2005-09-28T00:15:06-2200 RPC login(1, "root", "demexp") Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Problem with preference saving ?
Hi, Thomas Petazzoni a écrit : > After a small modification of the server, I've been able to see that the > received password is really "demexp", as suggested by the network trace. Ok, I *think* I've found the bug. (Line numbers refers to 0.6.2). In srv/participants.ml.nw, the function which is in charge of creating the default root login (with the demexp password) is initialize_default_participant_base. After a quick grep inside srv/*.ml.nw, I found two places where this function is called: - inside the participants autotest - in src/demexp-server.ml.nw In srv/demexp-server.ml.nw, line 290, we can read: if !flag_autotests then ( log "server: use default participant base"; Participants.initialize_default_participant_base () ) else log "server: use bases '%s'" !flag_bases_name; start_server () If I correctly read OCaml, it means that initialize_default_participant_base() is called *only* in the case of autotests. Otherwise, start_server() is called, will try to load a bases.dmxp file, won't find it... and will run the server with not default root login. Is that right ? Anyway, the enclosed patch fixes it. It simply calls the initialize_default_participant_base() when the base loading fails. I don't think io.ml is the right place to call this function (should be done in demexp-server.ml), but as I'm an OCaml newbie, this is just a quick and dirty fix. (The !flag_autotests notation is quite strange for the C programmer, which may think that it's the same as if flag_autotests == FALSE. In fact, after a quick read inside Weis and Leroy book, I've (re)-discovered that it's like the '*' in C, a dereference operator. Funny). Sincerly, Thomas --- demexp-0.6.2/srv/io.ml.nw 2005-09-28 00:36:50.0 +0200 +++ demexp-0.6.2-new/srv/io.ml.nw 2005-09-28 00:37:02.0 +0200 @@ -103,5 +103,6 @@ log " done." ) else log " File \"%s\" does not exists. Don't load bases." filename; +Participants.initialize_default_participant_base () ; flush_all () @ -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Problem with preference saving ?
Hello, David MENTRE wrote: > I think you have spoted the bug quite well. Cool ;-) > I would write it: > ) else ( > log " File \"%s\" does not exists. Don't load bases." filename; > Participants.initialize_default_participant_base () > ) ; > flush_all () Ok, I understand. Anyway, I think that a proper fix would involve throwing an exception in io.ml when the bases cannot be loaded, and in demexp-server.ml, when this exception is catched, initialize a default participant base. > It's been a long time since I looked at that code, so I need to dive > into it to fix it properly. Ok. Thanks, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] About OCaml Debian packaging
Hi, Stefano Zacchiroli, an OCaml Debian packager, which worked on CDuce with Alain Frisch, made a conference about OCaml and OCaml Debian packaging at LinuxTag 2005 (Germany). The slides of this presentation are available at: http://meetings-archive.debian.net/pub/debian-meetings/2005/linuxtag-karlsruhe/debianday/stefano_zacciroli-ocaml_debian.pdf There are very interesting informations about how OCaml applications, compilers and libraries are packaged inside Debian. By the way, http://meetings-archive.debian.net/pub/debian-meetings/ is a new repository set up by Debian, which will contain slides, videos and other reports of previous Debian-related conferences. Have a nice day, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] About OCaml Debian packaging
Hi, David MENTRE wrote: > Regarding the rebuild of packages after an API change, I'm wondering > why Debian developers don't setup a build infrastructure to > systematically rebuild all packages. OCaml is not C++ and one can > easily rebuild *all* ocaml packages of Debian in a reasonable amount > of time. They are working on this, using a new debhelper called dh_ocaml. I didn't had time to look precisely at it, but you can read the presentation mail by Stefano at http://lists.debian.org/debian-ocaml-maint/2005/08/msg7.html. I think this will not rebuild automatically the packages, but will at least automatically report interface inconsistencies. And anyway, for people maintaining backport packages, this doesn't solve everything. When Debian developers will upload ocaml 3.08.4, I'll have to compile unstable packages for this version of the compiler, but keep testing and stable version against ocaml 3.08.3. Once the compiler will move to testing, I'll have to convert the testing package. But, hey, this is the funny part of packaging ! ;-) Sincerly, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] Problem to see added questions
Hi, I'm facing a new problem with demexp. I'm running a personnal demexp-server, on which I'm able to login as root, thanks to the quick and dirty patch discussed a couple of days ago. Using the client, I'm able to add tags, add questions, put some tags inside questions, but I'm not able to see the questions. Tags are displayed on the left of the main demexp window, but questions are never displayed. However, I can see them from the « Classification » window, and when I add a question, the server says that it has been successfully added. I've tried to remove my ~/.demexp/ directory to see if the cache wasn't breaking the thing, but it still doesn't work. Ideas ? Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Problem to see added questions
Hi, David MENTRE wrote: > You need to make the questions "public" by puting the mark in the > public column in the classification window. I hope this will solve > your issue. Oops, my bad. I should have RTFM, because this is written in: http://www.demexp.org/dokuwiki/doku.php?id=guide_d_utilisation_de_demexp. Thanks, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] demexp 0.6.3
Hello/Bonsoir, David MENTRE wrote: > The new 0.6.3 is available at usual places. The Debian sarge, etch, sid and Ubuntu Hoary packages have been updated to 0.6.3 and uploaded at the usual place. > La nouvelle version 0.6.3 est disponible aux endroits habituels. Les paquets Debian sarge, etch, sid et Ubuntu Hoary ont été mis à jour vers 0.6.3 et mis en ligne à l'endroit habituel. Good night/Bonne nuit, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: OpenPGP digital signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] Debian packages: new versions
Hi, Yesterday, I've updated the Debian packages of CDuce (to version 0.3.92) and CamlGz (to version 0.5.7). I've also recompiled demexp against these new versions of CDuce and CamlGz (and changed the 'latex' dependency to 'tetex-base'). The new demexp version is labelled 0.6.3-2. As usual, it's available from my Debian repository [1]. By the way, I've tried to use debarchiver and other tools to set up a real Debian repository, with signed packages and Release files, but didn't succeed. Does anyone have some experience with such tools, or other tools that allow to set up Debian repositories. Sincerly, Thomas [1] http://thomas.enix.org/DebianRepository -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] demexp packages for Ubuntu Breezy
Hello, demexp packages are now available for the Ubuntu Breezy distribution, by simply adding the following line to your /etc/apt/sources.list: deb http://thomas.enix.org/pub/debian/packages/breezy ./ demexp has also been recompiled against the new version 0.4.0 of CDuce. All the packages are now available for Debian Sarge, Debian Etch, Debian Sid, Ubuntu Hoary and Ubuntu Breezy. Of course, as I don't have an installation of Ubuntu Breezy, I was not able to test these packages. Do not hesitate to report encountered problems. Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: PGP signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] demexp packages for Ubuntu Breezy
Hi, On Wed, 02 Nov 2005 01:03:23 +1100 skaller <[EMAIL PROTECTED]> wrote: > Ooo .. does Breezy work yet? Have you been on another planet the last couple of weeks ? ;-) Ubuntu Breezy has been released on mid-October, and it has been discussed in many websites and mailing lists dedicated to Free Software ;) Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: PGP signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: Fwd: [Demexp-dev] demexp packages for Ubuntu Breezy
Hi, On Wed, 2 Nov 2005 15:18:26 +0100 Damien Pollet <[EMAIL PROTECTED]> wrote: > I just quickly tried the client, seems to work. Ok, thanks. Nice to see that it works. Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: PGP signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] Mandriva package ?
Hi, I would like to try to update the Mandriva package for Demexp. I've seen that Christophe Guilloux have made some work in this direction with older versions of Demexp. However, the website indicated at http://www.nongnu.org/demexp/ concerning the Mandrake packages returns a 404 error. Moreover, I cannot find "noweb" in the current Mandriva, and I suspect that other dependencies will be missing (Ocaml library and bindings, mostly) in the Mandriva distribution. Christophe, how did you generate the package ? Did you create packages for all the other dependencies ? Or maybe you simply installed noweb and everything else on your system and generated the package from there ? (By the way, http://www.nongnu.org/demexp/ is quite a bit out of date, particularly concerning packages. The Wiki contains informations that are more up-to-date.) Sincerly, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Mandriva package ?
Hi, On Tue, 15 Nov 2005 17:36:18 +0100 Christophe GUILLOUX <[EMAIL PROTECTED]> wrote: > I join all .spec in attached file for a previous demexp package for > mandrake. I don't know if they are good or not. Thanks ! So far, I've been able to recompile noweb and findlib. However, I have a problem with ocaml-equeue, which doesn't compile: ocamlfind ocamlopt -package "" -c -thread unixqueue_mt.ml ocamlfind: ocamlopt does not support multi-threaded programs for your configuration After some search, I found that the ocaml available in Mandriva was compiled without -with-pthread. So I recompiled the ocaml package with this option, but I still get the same error. I've looked inside findlib code, but I don't really understand what's going on. It seems that there are two types of threads: Posix Threads (on Ocaml thread mapped to one Posix thread), and VM Threads (threads simulated by Ocaml). The following source code: ( match !threads with `None -> () | `VM_threads -> if which = "ocamlopt" then failwith "ocamlopt does not support multi-threaded programs for your configuration"; pass_options := !pass_options @ [ "-vmthread" ]; predicates := "mt" :: "mt_vm" :: !predicates; | `POSIX_threads -> pass_options := !pass_options @ [ "-thread" ]; predicates := "mt" :: "mt_posix" :: !predicates; seems to indicate that VM_Threads are not possible with ocamlopt. However, I compiled ocaml with POSIX_threads, so it should work, doesn't it ? Am I missing something ? How can I check that my Ocaml compiler was really compiled with -with-pthread ? Thanks ! Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org - http://www.toulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: PGP signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Mandriva package ?
Hi, David MENTRE wrote: > You should have the file "threads.cmxa" in the thread/ directory in > the standard library (in my case on Cygwin > /usr/lib/ocaml/thread/threads.cmxa). Got it: [EMAIL PROTECTED] tmp]$ ocamlopt -v The Objective Caml native-code compiler, version 3.08.3 Standard library directory: /usr/lib/ocaml [EMAIL PROTECTED] tmp]$ ls /usr/lib/ocaml/threads/ condition.cmi event.cmi mutex.cmi thread.cmi threads.a threads.cmxathreadUnix.cmx condition.cmx event.cmx mutex.cmx thread.cmx threads.cma threadUnix.cmi > $ cat > toto.ml > let f a = a + 1 > > $ ocamlopt -thread threads.cmxa toto.ml Works nicely: [EMAIL PROTECTED] tmp]$ cat toto.ml let f a = a + 1 [EMAIL PROTECTED] tmp]$ ocamlopt -thread threads.cmxa toto.ml [EMAIL PROTECTED] tmp]$ However: [EMAIL PROTECTED] tmp]$ ocamlfind ocamlopt -thread toto.ml ocamlfind: ocamlopt does not support multi-threaded programs for your configuration Strange. I'll recompile findlib again, to make sure I really compiled it against the new compiler. Sincerly, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Mandriva package ?
Hi, David MENTRE wrote: >>I've looked inside findlib code, but I don't really understand what's >>going on. It seems that there are two types of threads: Posix Threads >>(on Ocaml thread mapped to one Posix thread), and VM Threads (threads >>simulated by Ocaml). The following source code: > > Yep. See: http://caml.inria.fr/pub/docs/manual-ocaml/manual038.html Just to keep you informed of what happened. In fact, it was a bug inside the code of findlib which was in charge of detecting whether POSIX threads were available. In my configuration, it failed to detect it, while they were really available. The upstream author gave me some workarounds, and finally released today findlib 1.1.1 which fixes the bug. Sincerly, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] Compilation warnings with OCaml 3.09
Hi, When compiling demexp with OCaml 3.09, there are a couple of new warnings: File "srv/participants.ml.nw", line 546, characters 8-11: Warning Y: unused variable id1. File "srv/classification.ml.nw", line 324, characters 8-11: Warning Y: unused variable ts1. File "srv/classification.ml.nw", line 325, characters 8-11: Warning Y: unused variable ts2. File "gtk2-clnt/browser.ml.nw", line 311, characters 6-11: Warning Y: unused variable clerk. File "gtk2-clnt/url.ml.nw", line 120, characters 8-17: Warning Y: unused variable print_url. Moreover, the compilation fails with: /usr/lib/ocaml/3.09.0/cduce/cduce_lib.a(cduce_lib.o): In function `camlCduce_lib__code_begin': référence indéfinie vers « camlStats » /usr/lib/ocaml/3.09.0/cduce/cduce_lib.a(cduce_lib.o): In function `camlCduce_lib__code_begin': référence indéfinie vers « camlCustom » /usr/lib/ocaml/3.09.0/cduce/cduce_lib.a(cduce_lib.o): In function `camlCduce_lib__code_begin': référence indéfinie vers « camlEncodings » /usr/lib/ocaml/3.09.0/cduce/cduce_lib.a(cduce_lib.o): In function `camlCduce_lib__code_begin': référence indéfinie vers « camlUpool » [...] I'm using CDuce 0.4.0-2, available for the unstable distribution in my Debian mirror. Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org - http://www.toulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: PGP signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] camlgz, camlrpc, cduce for Ocaml 3.09
Hi, I've updated the camlrpc, cduce and camlgz packages for OCaml 3.09 in the SVN repository. They all compile fine. However, the compilation of CDuce issues some warnings: /usr/bin/ld: warning: libgnutls.so.12, needed by /usr/lib/libcurl.so, may conflict with libgnutls.so.11 On my system, I have: $ ldd /usr/lib/libcurl.so | grep gnutls libgnutls.so.12 => /usr/lib/libgnutls.so.12 (0xb7e97000) $ ldd /usr/lib/ocaml/3.09.0/stublibs/dllcurl-helper.so | grep gnutls libcurl-gnutls.so.3 => /usr/lib/libcurl-gnutls.so.3 (0xb7f58000) libgnutls.so.11 => /usr/lib/libgnutls.so.11 (0xb7e2e000) libgnutls.so.12 => /usr/lib/libgnutls.so.12 (0xb7c46000) Can I safely ignore this warning ? Moreover, the application that I use to test cduce, camlrpc and camlgz doesn't compile. I get a lot of messages like: /usr/lib/ocaml/3.09.0/cduce/cduce_lib.a(cduce_lib.o): In function `camlCduce_lib__code_begin': undefined reference to `camlStats' /usr/lib/ocaml/3.09.0/cduce/cduce_lib.a(cduce_lib.o): In function `camlCduce_lib__code_begin': undefined reference to `camlCustom' with many caml* symbols. What's wrong ? (Note: camlgz is not yet in the Debian distribution.) Thanks, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org - http://www.toulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: PGP signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] Re: camlgz, camlrpc, cduce for Ocaml 3.09
Hi, Sven Luther wrote: > I am curious, how does camlgz compare with camlzip ? Eric Cooper said on July, 29th: « I'd like to see this in Debian so I can use it in approx. Right now I am forking gunzip/bunzip2 processes with Sys.command (and that's still faster than using Camlzip). » On my side, I'm simply packaging it because the demexp project needs it. Maybe David Mentré (the demexp developer) will give his motivations behind the choice of camlgz instead of camlzip. Sincerly, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: Compilation failure (was: Re: [Demexp-dev] Compilation warnings with OCaml 3.09)
Hi, David MENTRE wrote: > Well, I have no idea of the possible issue. Have you this error for > byte code and/or native code version? Don't remember. Will check out tonight. > I need to setup a sid machine to help you debug this, but I won't have > time for it the next two weeks. I can give you an account on my Sid box. I'll set this up tonight. I'll also check the CDuce website to see if a simple example is available. I'd like to check whether it's a CDuce issue (either CDuce itself or a packaging issue), or whether it's a demexp one. Sincerly, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] Re: camlgz, camlrpc, cduce for Ocaml 3.09
Hi, Sven Luther wrote: > Mmm, so camlgz is an implementation of gz in caml, or is it a stub for libgz > or something similar ? It is a stub for zlib1g and libbz2. (Hmm, after checking my debian/control.in file, I see that I made libgz-ocaml-dev depend on zlib1g-dev and libbz2-dev, but I'm not sure it's necessary.) Sincerly, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] camlgz, camlrpc, cduce for Ocaml 3.09
Hi, On Mon, 5 Dec 2005 23:35:16 +0100 Thomas Petazzoni <[EMAIL PROTECTED]> wrote: > Moreover, the application that I use to test cduce, camlrpc and camlgz > doesn't compile. I get a lot of messages like: > > /usr/lib/ocaml/3.09.0/cduce/cduce_lib.a(cduce_lib.o): In function > `camlCduce_lib__code_begin': undefined reference to > `camlStats' /usr/lib/ocaml/3.09.0/cduce/cduce_lib.a(cduce_lib.o): In > function `camlCduce_lib__code_begin': undefined reference to > `camlCustom' As expected, this is not a demexp issue, but an CDuce/Ocaml one. Serge Leblanc reported the same problem on the CDuce users list [1]. Alain Frisch mentionned that a patch was pending in the Ocaml BTS, and Serge tried but said that it still didn't work. I've just sent a mail inside this thread to mention that I have the same prroblem. Sincerly, Thomas [1] http://sympa.cduce.org/wws/arc/users/2005-11/msg00012.html -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org - http://www.toulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: PGP signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] [ANNOUNCE] Release of pydemexp 0.1
Hi, This project started in 2005, and just to convince me that TODO-lists are not black holes, I had to release it before the end of 2005 ;-) I'm talking about pydemexp, a small kit that allows to write Python scripts which interacts with demexp servers. I have just released version 0.1, available from http://thomas.enix.org/pub/pydemexp/. In fact, it's a very small piece of code: there are only three examples on how to write Python code for demexp (410 lines of code). The real work is in pyrpc, a Python module that implements the Sun RPC protocol. It allows to dialog with potentially any server using this protocol, including the demexp server. pyrpc is based on previous work done by Peter Astrand and Fred Isaman, who wrote pynfs [1], a test-suite for NFSv4. This code included a Python RPC module, to which I have added a documentation, and the generation of client-side Python stubs. Pyrpc is now available as a separate piece of code, available from http://thomas.enix.org/pub/pyrpc/, in an arbitrary version called 1.0. Starting from the examples given in pydemexp, it is possible to implement text-based or graphical-based clients using the multiple libraries for which Python has binding for (wxWidget, Qt, Gtk2...) or to implement various scripts like RSS feeds generators, Web pages generators, etc. Don't hesitate to ask questions, and to send your suggestions and ideas. Happy hacking ! Thomas [1] http://www.citi.umich.edu/projects/nfsv4/pynfs/ -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org - http://www.toulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: PGP signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Compilation of demexp
Hi, On Mon, 16 Jan 2006 10:18:47 +0100 Sylvain Chevillard <[EMAIL PROTECTED]> wrote: > srv/io.cmx srv/work.cmx srv/demexp-server.cmx ld: Undefined symbols: > _camlAst > _camlAtoms This was the kind of errors I had when trying to compile CDuce with OCaml 3.09 for the CDuce Debian package. > I'm using the official distribution of Ocaml 3.09.1 downloaded from > Ocaml's site and compiled from sources over a Powerbook (powerpc G4) > under Mac OS X 10.3.9, Cduce 0.4.0 downloaded from > http://www.cduce.org/download/cduce-0.4.0.tar.gz and demexp 0.7 > downloaded from http://www.linux-france.org/~dmentre/demexp/latest-src The bug should have been fixed in OCaml 3.09.1, but I didn't try yet, because all libraries have not been recompiled with it in Debian. But, it seems that it still doesn't work. Maybe you can report your problem on the [EMAIL PROTECTED] list ? Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org - http://www.toulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: PGP signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] On web client, XML and ONC RPC and their integration with demexp
Hi, Le Thu, 31 Aug 2006 13:48:07 +0200, David MENTRE <[EMAIL PROTECTED]> a écrit : > This leads me to a fourth approach: implement a XML RPC <-> ONC RPC > proxy as an interface between the XML RPC side (Drupal) and the ONC > RPC side (demexp server). It would act as a server on the XML RPC > side and as a client on the ONC RPC side. This approach seems to me > nicer because there is no need for a re-implementation of all server > network API: the same ONC RPC interface is used for both the web and > native clients on the server side. Moreover, such a proxy would be an > independant software, with well defined interfaces, so easier to > maintain, understand and modify. At first, I thought that this approach was overkill, but after thinking a bit about it, I think like David that it's the best option. It allows to not bloatify the code of the demexp server itself by not supporting two RPCs types, and it's better since we don't know if XML RPC will be kept on the long term. However, I suggest to be careful about the complexity of the demexp software. It's starting to be: - a server in OCaml with lots of dependencies, making it hard to compile when you're not using a good distribution (Debian) - a proxy in Python that uses unpackaged library (pyrpc) - a web client in PHP/Drupal which runs over Apache. For the newcomer, it's probably going to be harder and harder to get involved in the projet if so many languages, library and compilers are used, and if the architecture becomes more complex. Anyway, I think that the current experimentations around Drupal are a nice thing, and the motivation of Augustin is promising. Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org - http://www.toulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: PGP signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] First XML RPC proxy available
Hi Augustin, Thanks for your work on motivation! Le Thu, 7 Sep 2006 23:50:04 +0800, Augustin <[EMAIL PROTECTED]> a écrit : > But I'm making some progress already. I have a rough code outline. > The main theming functions and the most important hooks are in place. > Cron can already import and store the 270 questions (and the new > ones, if any). I don't understand how Drupal interacts with the demexp server. From this paragraph, I understand that you make a replica of the questions of the demexp server on the Drupal side using a cron job. Am I understanding correctly ? Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org - http://www.toulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: PGP signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Plans for a 0.8 release
Hi, Le Sun, 24 Sep 2006 22:24:48 +0200, David MENTRE <[EMAIL PROTECTED]> a écrit : > * This version will be hard to compile on recent software (ocaml, >camomile, ...). Thomas, you should not have any issue to compile it >for Sarge but it should be much harder for Etch. Don't try too > hard, as I can't currently afford doing the development and tests on > this platform; What are the new issues wrt packaging ? Sincerly, Thomas -- Thomas Petazzoni - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - http://www.toulibre.org http://www.{livret,agenda}dulibre.org ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] [PATCH] Simplify detection of config_file in configure script
Hi, The detection code of config_file in the ./configure script doesn't work for me: Looking for config_file library... not found, not in /usr/lib/ocaml/3.09.2/config_file/ neither in /usr/local/lib/ocaml/3.09.2/config_file/ (the module is in /usr/local/lib/ocaml/3.09.2/cameleon/config_file.*) This code doesn't use ocamlfind, while the rest of the configure script uses ocamlfind to check for OCaml modules. Is there any particular reason for that ? Anyway, for me, it works with ocamlfind, so here's a patch that fixes it. Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org - http://www.toulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 --- demexp--dev--0.7/configure 2006-02-05 14:27:31.0 +0100 +++ demexp--dev--0.7.new/configure 2006-09-26 00:14:23.0 +0200 @@ -408,28 +408,26 @@ # find independent config_file echo -n "Looking for config_file library... " -ocamlstdlib=`ocamlc -v|sed -re '2!{d};2{s/^.*: (.*)/\1/}'` -ocamllocallib=`echo $ocamlstdlib|sed 's|/usr/lib|/usr/local/lib|'` -if test -f "$ocamlstdlib/config_file/config_file.cmx"; then -echo "$ocamlstdlib/config_file/config_file.cmx"; -external_include="$external_include -I $ocamlstdlib/config_file"; -external_cmxa="$external_cmxa config_file.cmx"; +configfileinc=`ocamlfind query -i-format -recursive -separator ' ' cameleon.config_file` +configfilecmxa=cameleon.config_file +if test -n "$configfileinc"; then +echo "$configfileinc"; +external_include="$external_include $configfileinc"; +external_package="$external_package $configfilecmxa"; else -if test -f "$ocamllocallib/config_file/config_file.cmx"; then -echo "$ocamllocallib/config_file/config_file.cmx"; -external_include="$external_include -I $ocamllocallib/config_file"; -external_cmxa="$external_cmxa config_file.cmx"; -else -echo "not found, not in $ocamlstdlib/config_file/" -echo " neither in $ocamllocallib/config_file/"; -echo "*** This tool is required to build demexp"; -echo "*** Please install the package or compile following instructions found"; -echo "*** in README. Source archive available at:"; -echo "*** http://download.gna.org/cameleon/";; -exit 2; -fi +echo "*** This tool is required to build demexp"; +echo "*** Please install the package or compile following instructions found"; +echo "*** in README. Source archive available at:"; +echo "*** http://download.gna.org/cameleon/";; +exit 2; fi +# find needed .cmxa for ocamlfind package name + +external_cmxa=`ocamlfind query -predicates native -a-format -recursive -separator ' ' $external_package` +# remove spurious '+' +external_cmxa=`echo $external_cmxa | sed -e "s|+||g"` + # remove -I /usr/lib/ocaml/VERSION otherwise ocamldep will introduce # unneeded dependencies on standard modules (e.g. thread.cmi) standard_include=`ocamlfind query -i-format stdlib` signature.asc Description: PGP signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] Compilation issue with demexp 0.7
Hi, The compilation of demexp 0.7 fails for me: ocamlopt.opt -I net -I lib -I gtk2-clnt -I /usr/lib/ocaml/3.09.2/equeue -I /usr/lib/ocaml/3.09.2/rpc -I /usr/lib/ocaml/3.09.2/gz -I /usr/lib/ocaml/3.09.2/camlp4 -I /usr/lib/ocaml/3.09.2/ulex -I /usr/lib/ocaml/3.09.2/pcre -I /usr/lib/ocaml/3.09.2/netstring -I /usr/lib/ocaml/3.09.2/cgi -I /usr/lib/ocaml/3.09.2/curl -I /usr/lib/ocaml/3.09.2/expat -I /usr/lib/ocaml/3.09.2/camlp4 -I /usr/lib/ocaml/3.09.2/cduce -I /usr/lib/ocaml/3.09.2/fileutils -I /usr/lib/ocaml/3.09.2/gettext -I /usr/lib/ocaml/3.09.2/gettext -I /usr/lib/ocaml/3.09.2/gettext-stub -I /usr/lib/ocaml/3.09.2/cameleon -I +lablgtk2 -w Ale -c gtk2-clnt/miscUI.ml File "gtk2-clnt/miscUI.ml.nw", line 129, characters 6-14: Warning Y: unused variable user_msg. File "gtk2-clnt/miscUI.ml.nw", line 74, characters 9-43: Unbound type constructor Demexp_gladeui.progress_bar_window make: *** [gtk2-clnt/miscUI.cmx] Erreur 2 Any idea ? The file demexp_gladeui.ml really contains a class called progress_bar_window. Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org - http://www.toulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: PGP signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Compilation issue with demexp 0.7
Hi, Le Tue, 26 Sep 2006 21:33:56 +0200, David MENTRE <[EMAIL PROTECTED]> a écrit : > Are you using the latest dev version? [...] > Have you tried a make clean? I'm really stuck on this one. Ok, my bad. I did an hg clone and they compiled from clean sources and it worked. Well, at least it didn't show the same error. Now, I have packaging-related issues with cameleon. Sorry for the noise, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org - http://www.toulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: PGP signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Compilation issue with demexp 0.7
Hi, Le Tue, 26 Sep 2006 22:17:09 +0200, David MENTRE <[EMAIL PROTECTED]> a écrit : > No worry, you're welcome. Ok, so I'll annoy again the list with my compilation issues. Now that I have hacked camomile, cameleon and recompiled a few other things, the compilation of demexp 0.7 goes further. However, generation of the static version of the server fails with an incredible amount of messages. There are some warning messages like « warning: Using 'dlopen' in statically linked applications requires at runtime the shared libraries from the glibc version used for linking » (a dozen). And then, hundreds of error messages like « (.text+0xda): undefined reference to `gcry_mpi_print' /usr/lib/libgnutls.a(gnutls_dh.o): In function `gnutls_calc_dh_key' ». Everything seems to be related to the OCaml Curl module. But do you have an idea of what could be wrong ? The compilation log is available at http://thomas.enix.org/pub/log Thanks for your help, Thomas -- Thomas Petazzoni - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - http://www.toulibre.org http://www.{livret,agenda}dulibre.org ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] Link broken
Hi, On the page http://www.demexp.org/html/article5b48.html?id_article=61, the link "Télécharger le logiciel" is broken. Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org - http://www.toulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: PGP signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Compilation issue with demexp 0.7
Hi, Le Fri, 29 Sep 2006 20:05:55 +0200, David MENTRE <[EMAIL PROTECTED]> a écrit : > >> The compilation log is available at http://thomas.enix.org/pub/log > > > > Well, I can't say nothing from such logs. > > After some thoughts, just an idea: all missing symbols come from > gcrypt library. Have you it on your system? (libgcrypt11-dev on > Debian Sarge). I made some progress on that front. In fact, the problem is that curl depends on libgnutls, which depends on libgcrypt and other libraries. curl -> libgnutls -> libgcrypt When doing dynamic linking, using -lgnutls is enough. However, when doing static linking, you *must* list all the libraries (even the one that you don't use directly, but that are used by other libraries you depend on). I have not yet found informations about this on the Web, but Julien Cristau (from the Debian OCaml Maintainer team) told this to me yesterday on IRC. And my experiments seems to validate this assertion. The same problem can be reproduced without any OCaml stuff. When I try to statically compile one of the simple example provided by libgnutls3-dev on Debian, it borks with the same errors. So, by adding -cclib "-lgcrypt -ltasn1 -lgpg-error" to the compilation lines of the static version of the server (both bytecode and native), I've been able to compile demexp 0.8 completely. However, the Debian package itself is not ready. Some work is still needed to do it. Sincerly, Thomas -- Thomas Petazzoni - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - http://www.toulibre.org http://www.{livret,agenda}dulibre.org ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] demexp 0.8.0 is out!!
Hi, Le Sun, 01 Oct 2006 16:30:43 +0200, David MENTRE <[EMAIL PROTECTED]> a écrit : > I'm pleased to announce the availability of demexp 0.8.0: > http://www.linux-france.org/~dmentre/demexp/latest-src/demexp-0.8.0.tar.gz The Debian package for Sid is available for my repository [1]. Packages for other distributions should be available soon, but some work is needed to produce them. Just to give an idea of the problem: - demexp now depends on ocaml-gettext - ocaml-gettext is not in Debian (but already packaged in the Debian OCaml SVN repository) - ocaml-gettext depends on ocaml-ast-analyze - ocaml-ast-analyze is not in Debian (but fortunately already packaged in the Debian OCaml SVN repository) Add to this: - ocaml-gettext packaging was buggy (wrong build-depends and depends) - ocaml-gettext depends on camomile which is buggy in Debian (bug #389470) - demexp depends on cameleon, which is buggy in Debian (doesn't generate native object file usable with ocamlopt) - demexp had also some troubles (static compilation + detection of config_file) So, besides demexp, I had to produce packages for ocaml-gettext, ocaml-ast-analyze, cameleon and camomile (they are all available on my Debian repository, for those who want to recompile demexp easily). And this is for unstable, which has the latest version of the different packages. I'm sure that packaging for stable will be a lot more fun ;) Do not hesitate to report bugs found in this package, Sincerly, Thomas [1] http://thomas.enix.org/DebianRepository -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org - http://www.toulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: PGP signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Compilation issue with demexp 0.7
Hi, Le Thu, 5 Oct 2006 05:26:30 +0200, "ketty ." <[EMAIL PROTECTED]> a écrit : > Is there a patch for this one yet? I have the same problem. (forgot to > mention that, sorry) Certainly: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/demexp/trunk/debian/patches/fix-static-compilation.dpatch?op=file&rev=0&sc=0 Sincerly, Thomas -- Thomas Petazzoni - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - http://www.toulibre.org http://www.{livret,agenda}dulibre.org ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Re: Before merging ketty's branch
Hi ! Le Fri, 13 Oct 2006 22:45:53 +0200, David MENTRE <[EMAIL PROTECTED]> a écrit : > Yes. A clean fix (Caml_int CDuce type) is available in latest CDuce > release (0.4.1 IIRC). As soon as Thomas updates his Debian package of > cduce, I'll use that type and that should work out of the box on > AMD64. cduce 0.4.1 is available in Debian unstable since 9 days, and will migrate to testing tomorrow. See http://packages.qa.debian.org/c/cduce.html Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org - http://www.toulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: PGP signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] demexp 0.8.1
Hi, Le Sat, 14 Oct 2006 21:49:01 +0200, David MENTRE <[EMAIL PROTECTED]> a écrit : > I *think* you can use: > > $ grep 'v0.8.1' .hgtags |cut -f1 -d ' '|xargs hg update hg update can receive a tag name as argument: $ man hg [...] SPECIFYING SINGLE REVISIONS Mercurial accepts several notations for identifying individual revisions. [...] Any other string is treated as a tag name, which is a symbolic name associated with a revision identifier. Tag names may not contain the ":" character. [...] Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org - http://www.toulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: PGP signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Re: Before merging ketty's branch
Hi, Le Sun, 15 Oct 2006 12:47:51 +0200, David MENTRE <[EMAIL PROTECTED]> a écrit : > Well, after some thought, don't bother: I'll have to switch to Etch > anyway. Too late: your dreams became true. I've just uploaded cduce 0.4.1 for Debian Sarge ;-) (It was easy, only took 10 minutes). Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org - http://www.toulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: PGP signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Etch and demexp V0.8.3
Hi, Le Thu, 11 Jan 2007 14:21:19 +0100, "Felix HENRY" <[EMAIL PROTECTED]> a écrit : > I just installed Debian etch on my PC (to be more accurate: Fred > did!) and I'm wondering about the status of a demexp 0.8 package for > etch. Does it exist? If yes what is the line I should add to my > source.list file? Thanks, I have not produced a recent demexp package for Etch. A package is available for Sid, but wasn't easy to produce (many dependencies needed to be recompiled in order to fix various bugs in them). I never (had|took) the time to do the job for the other distros. Sincerly, Thomas -- Thomas Petazzoni - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - http://www.toulibre.org http://www.{livret,agenda}dulibre.org ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] [PATCH] Fix typo in a message
# HG changeset patch # User Thomas Petazzoni <[EMAIL PROTECTED]> # Date 1173622668 -3600 # Node ID 7f612de04c378d608d3e5641bff5baaeda73d2ae # Parent 1560469c9ee79c48c88c39fcf57eee43582aa07f Fix typo in a message diff -r 1560469c9ee7 -r 7f612de04c37 srv/work.ml.nw --- a/srv/work.ml.nwFri Oct 27 22:13:11 2006 +0200 +++ b/srv/work.ml.nwSun Mar 11 15:17:48 2007 +0100 @@ -210,7 +210,7 @@ let new_question (cookie, q_desc) = log " !! question already in base"; { question_id_return_code = rt_already_exists; question_id_id = 0 } | Norm.Invalid_format -> - log " !! invalid quesiton format"; + log " !! invalid question format"; { question_id_return_code = rt_bad_format; question_id_id = -1 } @ ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Instructions to compile demexp on Ubuntu Feisty Fawn (7.04) (and other Debian systems using OCaml 3.09)
Hi, Le Sat, 15 Sep 2007 16:35:33 +0200, David MENTRE <[EMAIL PROTECTED]> a écrit : > Note on modifications: the most important modification I had to do on > demexp sources was to add libraries libtasn1, libgrcypt, libgpg-error > when compiling the servers. I really don't understand why. I anybody > has an explanation... Maybe it's related to what I reported last year: http://thread.gmane.org/gmane.politics.organizations.demexp.devel/993/focus=1043 http://thread.gmane.org/gmane.politics.organizations.demexp.devel/993/focus=1059 Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org - http://www.toulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: PGP signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Web Client Interface [status]
Hi, Le Sat, 20 Oct 2007 00:33:33 +0900, Lyu Abe <[EMAIL PROTECTED]> a écrit : > But from what I experimented with DIVs, I think there is nothing (or > very few) to gain in using DIVs instead of tables: for example, if we > want to use the layout I am currently working on, I think this can be > done with DIVs only by embedding them one into each other. In that > case we must use a certain DIVs hierarchy which will finally be > equivalent to using TABLEs... but maybe I'm wrong, because it's true > I'm not very easy with DIVs. On that point I'd like to have some help > if someone can. You can have a look at http://www.openweb.eu.org/articles/problemes_tableaux/ (in french). There's one argument that is not used in that page: the semantic meaning. Each HTML tag has a semantic meaning, which doesn't imply anything from a presentation point of view. For example means «emphasize text», but doesn't say anything about *how* an emphasized text should be rendered. That's the job of the CSS (with of course a default behaviour if no CSS is present, or if the CSS doesn't specify anything for em). With , it's the same thing. From a semantic point of view, you only say: «that's an element of my page», and in the HTML code, you don't say anything about how that element should be rendered (and particularly its position on the page) : all that is defined in the CSS. So, using multiple CSS, you can provide totally different presentations for the same HTML code (I'm sure you know the http://www.csszengarden.com website). From a semantic point of view must be used to show tabular informations. By using to make the layout of your webpage, you break the content/presentation separation scheme, and you do not respect the semantic meaning of . Does that make sense ? Sincerly, Thomas -- PETAZZONI Thomas - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - Jabber: [EMAIL PROTECTED] http://{agenda,livret}dulibre.org - http://www.toulibre.org Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E 1624 F653 CB30 98D3 F7A7 signature.asc Description: PGP signature ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Character encoding
Hi, Le Mon, 22 Oct 2007 14:40:46 +0900, Lyu Abe <[EMAIL PROTECTED]> a écrit : > There's one thing I do not understand in character coding of the > server's reply. When I display, for example, tag sets, I can read > this: > > 'a_tag_label': u'citoyennet\xe9' > > in which " u'citoyennet\xe9' " corresponds to an unicode encoded > text, right? Then I do not understand why we get unicode encoded > strings, while DEMEXP is supposed to have UTF-8 encoding... The string you mention is encoded in ISO-8859-1 (or ISO-8859-15) : the special character é is encoded on one byte only, so it's not UTF-8. You're also making a confusion between Unicode and UTF-8. Unicode associates each character with an unique number, and UTF-8 allows to encode that number is a certain way. There are various way of encoding Unicode numbers (UTF-7, UTF-8, UTF-16, UTF-32, UCS-2, etc.). See http://en.wikipedia.org/wiki/Unicode for more information. Sincerly, Thomas -- Thomas Petazzoni - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - http://www.toulibre.org http://www.{livret,agenda}dulibre.org ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
Re: [Demexp-dev] Character encoding
Hi, Le Mon, 22 Oct 2007 09:18:23 +0200, "David MENTRE" <[EMAIL PROTECTED]> a écrit : > I'm not sure of that. If you look at the Unicode table for Latin1 > (http://www.unicode.org/charts/PDF/U0080.pdf), the encoding of é is > 00E9 (p. 7). I'm not sure too :-) On a system with LANG=fr_FR, I run a Python interpreter: >>> s = u"citoyennet\xe9" >>> s u'citoyennet\xe9' >>> print s citoyenneté -> It is displayed correctly. >>> s.encode('utf-8') 'citoyennet\xc3\xa9' And here we have the string encoded in utf-8. >>> print s.encode('utf-8') citoyenneté -> It is not displayed correctly But even with that, I'm still not sure to understand completely. These encodings issues are really tough to grasp. Sincerly, Thomas -- Thomas Petazzoni - [EMAIL PROTECTED] http://{thomas,sos,kos}.enix.org - http://www.toulibre.org http://www.{livret,agenda}dulibre.org ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev