February 2013 - macports-tickets - lists.macosforge.org

[MacPorts] #37862: libsvm 3.15 and 3.16 potential crash on svm_free_model_content()
by MacPorts 01 Feb '13

01 Feb '13

#37862: libsvm 3.15 and 3.16 potential crash on svm_free_model_content() -------------------------------+-------------------------------- Reporter: andre.dos.anjos@… | Owner: macports-tickets@… Type: defect | Status: new Priority: High | Milestone: Component: ports | Version: 2.1.2 Keywords: | Port: libsvm -------------------------------+-------------------------------- The author of libsvm introduced the following lines of code on libsvm-3.15/svm.cpp (also true for libsvm-3.16), for model destructors - `svm_free_model_content()`, around line 2977: {{{#!c free(model_ptr->sv_indices); model_ptr->sv_indices = NULL; }}} This works well when `svm_train()` is called before `svm_free_model_content()` because `svm_train()` initializes `model_ptr->sv_indices` properly. This is not the case for `svm_load_model()`, that loads a pre-trained model. The variable `sv_indices` is never initialized (to `NULL`) so, depending on code layout and compilation options, its value may be set to `!= NULL`. In those cases, the newly introduced code will cause a `free()` error (trying to deallocate unallocated memory) which leads to program abortion. To fix this problem, it suffices to initialize `sv_indices` properly. Patch attached. Could you please add this patch and re-state the build? Thanks, A -- Ticket URL: <https://trac.macports.org/ticket/37862> MacPorts <http://www.macports.org/> Ports system for Mac OS

1 6

[MacPorts] #37882: webkit-gtk: error: execinfo.h: No such file or directory
by MacPorts 01 Feb '13

01 Feb '13

#37882: webkit-gtk: error: execinfo.h: No such file or directory --------------------------+------------------------ Reporter: ryandesign@… | Owner: jeremyhu@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.1.2 Keywords: tiger | Port: webkit-gtk --------------------------+------------------------ After fixing #37828, webkit-gtk @1.10.2 fails to build on Tiger with: {{{ Source/WTF/wtf/Assertions.cpp:64:22: error: execinfo.h: No such file or directory }}} We have other tickets about this error with other ports. execinfo.h simply doesn't appear to exist on Tiger. -- Ticket URL: <https://trac.macports.org/ticket/37882> MacPorts <http://www.macports.org/> Ports system for Mac OS

1 2

[MacPorts] #37828: webkit-gtk: error: "class JSC::ListableHandler<JSC::WeakReferenceHarvester>::List" is private
by MacPorts 01 Feb '13

01 Feb '13

#37828: webkit-gtk: error: "class JSC::ListableHandler<JSC::WeakReferenceHarvester>::List" is private --------------------------+-------------------------------- Reporter: ryandesign@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.1.2 Keywords: tiger | Port: webkit-gtk --------------------------+-------------------------------- Building webkit-gtk @1.10.2 fails on Tiger ppc with: {{{ In file included from ./Source/JavaScriptCore/config.h:30, from Source/JavaScriptCore/llint/LLIntOffsetsExtractor.cpp:26: ./Source/WTF/wtf/Platform.h:710:22: warning: "__MAC_OS_X_VERSION_MIN_REQUIRED" is not defined ./Source/JavaScriptCore/heap/ListableHandler.h:58: error: ?class JSC::ListableHandler<JSC::WeakReferenceHarvester>::List? is private ./Source/JavaScriptCore/heap/GCThreadSharedData.h:78: error: within this context ./Source/JavaScriptCore/heap/ListableHandler.h:58: error: ?class JSC::ListableHandler<JSC::UnconditionalFinalizer>::List? is private ./Source/JavaScriptCore/heap/GCThreadSharedData.h:79: error: within this context }}} -- Ticket URL: <https://trac.macports.org/ticket/37828> MacPorts <http://www.macports.org/> Ports system for Mac OS

1 10

[MacPorts] #37838: 0.12pre6 now available
by MacPorts 01 Feb '13

01 Feb '13

#37838: 0.12pre6 now available ------------------------+-------------------------------- Reporter: rkitover@… | Owner: macports-tickets@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.1.2 Keywords: | Port: elinks-devel ------------------------+-------------------------------- [2012-10-30] ELinks 0.12pre6 current version 0.12pre5 from: http://elinks.or.cz -- Ticket URL: <https://trac.macports.org/ticket/37838> MacPorts <http://www.macports.org/> Ports system for Mac OS

1 3

[MacPorts] #37425: Patch to upgrade Coq to 8.4pl1
by MacPorts 01 Feb '13

01 Feb '13

#37425: Patch to upgrade Coq to 8.4pl1 ---------------------+-------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.1.2 Keywords: | Port: coq ---------------------+-------------------------------- Enclosed please find a patch to: 1) Upgrade Coq to 8.4pl1 2) Remove the no longer needed dependency on OCaml3 -- Ticket URL: <https://trac.macports.org/ticket/37425> MacPorts <http://www.macports.org/> Ports system for Mac OS

1 5

[MacPorts] #35391: coq @8.3pl4 source build failure: ml4 file parse errors
by MacPorts 01 Feb '13

01 Feb '13

#35391: coq @8.3pl4 source build failure: ml4 file parse errors ----------------------------------------+----------------------------------- Reporter: macports-trac@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.1.2 Keywords: | Port: coq ----------------------------------------+----------------------------------- Building coq @8.3pl4 with command "sudo port -s install coq" fails in parsing some ml4 source files (see log). -- Ticket URL: <https://trac.macports.org/ticket/35391> MacPorts <http://www.macports.org/> Ports system for Mac OS

1 3

[MacPorts] #37100: coq 8.4 +coqide
by MacPorts 01 Feb '13

01 Feb '13

#37100: coq 8.4 +coqide ---------------------+-------------------------------- Reporter: joerg@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.1.2 Keywords: coqide | Port: coq ---------------------+-------------------------------- There seems to be a problem installing coq +coqide. The compile breaks due to: {{{ #!python :info:build Error: /opt/local/lib/ocaml/site-lib/lablgtk2/gdk.cmi :info:build is not a compiled interface }}} Probably this is due to a mix of ocaml3 and ocaml4. Installing coq +coqide results in both versions of ocaml being installed. Any help is appreciated. Greetings, Joerg -- Ticket URL: <https://trac.macports.org/ticket/37100> MacPorts <http://www.macports.org/> Ports system for Mac OS

1 3

[MacPorts] #37487: coq +coqide fails to built
by MacPorts 01 Feb '13

01 Feb '13

#37487: coq +coqide fails to built ------------------------------+-------------------------------- Reporter: jens.p.gerlach@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.1.2 Keywords: coqide | Port: coq ------------------------------+-------------------------------- "sudo port install coq +coqide" fails to build on OS X 10.8.2 ("sudo port install coq" works) The log file says :info:build OCAMLC ide/utils/okey.mli :info:build File "ide/utils/okey.mli", line 1, characters 0-1: :info:build Error: /opt/local/lib/ocaml/site-lib/lablgtk2/gdk.cmi :info:build is not a compiled interface :info:build make[1]: *** [ide/utils/okey.cmi] Error 2 :info:build make[1]: *** Waiting for unfinished jobs.... :info:build make[1]: Leaving directory `/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_lang_coq/coq/work/coq-8.4' -- Ticket URL: <https://trac.macports.org/ticket/37487> MacPorts <http://www.macports.org/> Ports system for Mac OS

1 2