From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 23DFE820A1 for ; Wed, 21 Aug 2013 02:16:27 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of caseybasichis@gmail.com) identity=pra; client-ip=209.85.212.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="caseybasichis@gmail.com"; x-sender="caseybasichis@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of caseybasichis@gmail.com designates 209.85.212.54 as permitted sender) identity=mailfrom; client-ip=209.85.212.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="caseybasichis@gmail.com"; x-sender="caseybasichis@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-vb0-f54.google.com) identity=helo; client-ip=209.85.212.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="caseybasichis@gmail.com"; x-sender="postmaster@mail-vb0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Au4BAF4GFFLRVdQ2k2dsb2JhbABXAw6DLFG/W4EeCBYOAQEBAQcLCwkUBCSCJAEBBAEnGQEUBx0BAwELBgULAzghAQERAQUBHAYTh30BAwkGDJcAjFCDAoQyChknDWSBFgEFDI1RgmgQBxGEAwOJLYxPgWmMLoNDFimCX4EkXxw X-IPAS-Result: Au4BAF4GFFLRVdQ2k2dsb2JhbABXAw6DLFG/W4EeCBYOAQEBAQcLCwkUBCSCJAEBBAEnGQEUBx0BAwELBgULAzghAQERAQUBHAYTh30BAwkGDJcAjFCDAoQyChknDWSBFgEFDI1RgmgQBxGEAwOJLYxPgWmMLoNDFimCX4EkXxw X-IronPort-AV: E=Sophos;i="4.89,923,1367964000"; d="scan'208";a="29894691" Received: from mail-vb0-f54.google.com ([209.85.212.54]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Aug 2013 02:16:25 +0200 Received: by mail-vb0-f54.google.com with SMTP id q14so650155vbe.13 for ; Tue, 20 Aug 2013 17:16:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=Drpy6lruD1wgKWzxVB0ge6fWsY2WZ0d0f6j3wBxQuvw=; b=vNFfe4CfIMqLLQ9WHK1+7qfy/XLLKYicr4TEB/4vpTGrXBWd1I6LNGOkfh73yXpks0 kuQK5444OOIcgp3MuUd0WzlyRXth03CdNcbzTLe9iQZkWyVAhCQNF8qEmpWgt3yXJVwm 6yyaZB8CFH/oiiBWBDyOG/Kuyd/ENu0AhUNH03g9EmEzcQcJwwbVcf4OCZ5fQxgVvQEx lHIqs2Lywsehge1fHcN8Libgun+SEr9E4UoTt1mchsgiI2Ke8klwISAf6FxIaYTARHFk 4udinBCevlja80HoX+fPClGAAzscYI4GHkshqQYZk9JeRXZE35bjUTZt1mnKTkdVHtE1 XbPA== MIME-Version: 1.0 X-Received: by 10.58.217.167 with SMTP id oz7mr3525290vec.15.1377044185027; Tue, 20 Aug 2013 17:16:25 -0700 (PDT) Received: by 10.52.65.201 with HTTP; Tue, 20 Aug 2013 17:16:24 -0700 (PDT) In-Reply-To: <87k3jgou93.fsf@study.localdomain> References: <95B851B6-93AF-47A2-9C65-95E169B1DA07@ocamlpro.com> <20130820.223527.351659178592840423.Christophe.Troestler@umons.ac.be> <87ob8sovp7.fsf@study.localdomain> <87k3jgou93.fsf@study.localdomain> Date: Tue, 20 Aug 2013 17:16:24 -0700 Message-ID: From: Casey Basichis To: Leo White Cc: Christophe TROESTLER , OCaml Mailing List Content-Type: multipart/alternative; boundary=047d7bd6adfe7d1e6e04e46a1598 Subject: Re: [Caml-list] Setting up OcaIDE --047d7bd6adfe7d1e6e04e46a1598 Content-Type: text/plain; charset=ISO-8859-1 Moving #thread allowed ocaml to run in the terminal. It was still not working in Eclipse so I changed the paths to: /Users/caseybasichis/.opam/4.00.1/bin/ocaml etc It seems to get further along in the loading process but there are some errors: OCaml version 4.00.1 Findlib has been successfully loaded. Additional directives: #require "package";; to load a package #list;; to list the available packages #camlp4o;; to load camlp4 (standard syntax) #camlp4r;; to load camlp4 (revised syntax) #predicates "p,q,...";; to set these predicates Topfind.reset();; to force that packages will be reloaded #thread;; to enable threads /Users/caseybasichis/.opam/4.00.1/lib/ocaml/dynlink.cma: loaded /Users/caseybasichis/.opam/4.00.1/lib/ocaml/camlp4: added to search path /Users/caseybasichis/.opam/4.00.1/lib/ocaml/camlp4/camlp4o.cma: loaded /Users/caseybasichis/.opam/4.00.1/lib/ocaml/threads: added to search path /Users/caseybasichis/.opam/4.00.1/lib/ocaml/unix.cma: loaded /Users/caseybasichis/.opam/4.00.1/lib/ocaml/threads/threads.cma: loaded /Users/caseybasichis/.opam/4.00.1/lib/ocaml/bigarray.cma: loaded /Users/caseybasichis/.opam/4.00.1/lib/bin_prot: added to search path /Users/caseybasichis/.opam/4.00.1/lib/bin_prot/bin_prot.cma: loaded Cannot load required shared library dllbin_prot_stubs. Reason: dllbin_prot_stubs.so: dlopen(dllbin_prot_stubs.so, 138): image not found. /Users/caseybasichis/.opam/4.00.1/lib/variantslib: added to search path /Users/caseybasichis/.opam/4.00.1/lib/variantslib/variantslib.cma: loaded /Users/caseybasichis/.opam/4.00.1/lib/ocaml/nums.cma: loaded /Users/caseybasichis/.opam/4.00.1/lib/num-top: added to search path /Users/caseybasichis/.opam/4.00.1/lib/num-top/num_top.cma: loaded Camlp4 Parsing version 4.00.1 /Users/caseybasichis/.opam/4.00.1/lib/num: added to search path /Users/caseybasichis/.opam/4.00.1/lib/sexplib: added to search path /Users/caseybasichis/.opam/4.00.1/lib/sexplib/sexplib.cma: loaded /Users/caseybasichis/.opam/4.00.1/lib/fieldslib: added to search path /Users/caseybasichis/.opam/4.00.1/lib/fieldslib/fieldslib.cma: loaded /Users/caseybasichis/.opam/4.00.1/lib/oUnit: added to search path /Users/caseybasichis/.opam/4.00.1/lib/oUnit/oUnit.cma: loaded /Users/caseybasichis/.opam/4.00.1/lib/pa_ounit: added to search path /Users/caseybasichis/.opam/4.00.1/lib/pa_ounit/pa_ounit_lib.cma: loaded /Users/caseybasichis/.opam/4.00.1/lib/res: added to search path /Users/caseybasichis/.opam/4.00.1/lib/res/res.cma: loaded /Users/caseybasichis/.opam/4.00.1/lib/core_kernel: added to search path /Users/caseybasichis/.opam/4.00.1/lib/core_kernel/core_kernel.cma: loaded Cannot load required shared library dllcore_kernel_stubs. Reason: dllcore_kernel_stubs.so: dlopen(dllcore_kernel_stubs.so, 138): image not found. /Users/caseybasichis/.opam/4.00.1/lib/core: added to search path /Users/caseybasichis/.opam/4.00.1/lib/core/core.cma: loaded Cannot load required shared library dllcore_stubs. Reason: dllcore_stubs.so: dlopen(dllcore_stubs.so, 138): image not found. /Users/caseybasichis/.opam/4.00.1/lib/core/core_top.cma: loaded File "/Users/caseybasichis/.ocamlinit", line 1: Error: Reference to undefined global `Core' Here is my .ocamlinit: (* Added by OPAM. *) let () = try Topdirs.dir_directory (Sys.getenv "OCAML_TOPLEVEL_PATH") with Not_found -> () ;; #use "topfind" #camlp4o #thread #require "core.top" #require "core.syntax" #require "core_extended" #require "async" open Core.Std On Tue, Aug 20, 2013 at 3:46 PM, Leo White wrote: > > I added #thread and I also tried adding a ";;" after all of the lines > starting with # . Here is what my .ocamlinit > > looks like right now. > > > > (* Added by OPAM. *) > > let () = > > try Topdirs.dir_directory (Sys.getenv "OCAML_TOPLEVEL_PATH") > > with Not_found -> () > > ;; > > > > #use "topfind" > > #camlp4o > > #require "core.top" > > #require "core.syntax" > > #require "core_extended" > > #require "async" > > #thread > > open Core.Std > > The '#thread' directive needs to come before the '#require "core.top"' > directive. > > Regards, > > Leo > -- Casey James Basichis Composer - Adventure Time - Cartoon Network http://www.caseyjamesbasichis.com caseybasichis@gmail.com 310.387.7540 --047d7bd6adfe7d1e6e04e46a1598 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Moving #thread allowed ocaml to run in the terminal. =A0It= was still not working in Eclipse so I changed the paths to:=A0/Users/casey= basichis/.opam/4.00.1/bin/ocaml =A0etc

It seems to get f= urther along in the loading process but there are some errors:

=A0 =A0 =A0 =A0=A0OCaml version 4.00.1


Findlib has been successfully loaded. Additional directives:<= /p>

=A0 #require "package";;=A0 =A0 =A0 to load a packa= ge

=A0 #list;; =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 to list the a= vailable packages

=A0 #camlp4o;;=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 to load camlp4 = (standard syntax)

=A0 #camlp4r;;=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 to load camlp4 = (revised syntax)

=A0 #predicates "p,q,...";; =A0 to set these predic= ates

=A0 Topfind.reset();; =A0 =A0 =A0 =A0 to force that packages = will be reloaded

=A0 #thread;; =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 to enable threa= ds


/Users/caseybasichis/.opam/4.00.1/lib/ocaml/dynlink.cma: load= ed

/Users/caseybasichis/.opam/4.00.1/lib/ocaml/camlp4: added to = search path

/Users/caseybasichis/.opam/4.00.1/lib/ocaml/camlp4/camlp4o.cm= a: loaded

/Users/caseybasichis/.opam/4.00.1/lib/ocaml/threads: added to= search path

/Users/caseybasichis/.opam/4.00.1/lib/ocaml/unix.cma: loaded<= /p>

/Users/caseybasichis/.opam/4.00.1/lib/ocaml/threads/threads.c= ma: loaded

/Users/caseybasichis/.opam/4.00.1/lib/ocaml/bigarray.cma: loa= ded

/Users/caseybasichis/.opam/4.00.1/lib/bin_prot: added to sear= ch path

/Users/caseybasichis/.opam/4.00.1/lib/bin_prot/bin_prot.cma: = loaded

Cannot load required shared library dllbin_prot_stubs.

Reason: dllbin_prot_stubs.so: dlopen(dllbin_prot_stubs.so, 13= 8): image not found.

/Users/caseybasichis/.opam/4.00.1/lib/variantslib: added to s= earch path

/Users/caseybasichis/.opam/4.00.1/lib/variantslib/variantslib= .cma: loaded

/Users/caseybasichis/.opam/4.00.1/lib/ocaml/nums.cma: loaded<= /p>

/Users/caseybasichis/.opam/4.00.1/lib/num-top: added to searc= h path

/Users/caseybasichis/.opam/4.00.1/lib/num-top/num_top.cma: lo= aded

Camlp4 Parsing version 4.00.1


/Users/caseybasichis/.opam/4.00.1/lib/num: added to search pa= th

/Users/caseybasichis/.opam/4.00.1/lib/sexplib: added to searc= h path

/Users/caseybasichis/.opam/4.00.1/lib/sexplib/sexplib.cma: lo= aded

/Users/caseybasichis/.opam/4.00.1/lib/fieldslib: added to sea= rch path

/Users/caseybasichis/.opam/4.00.1/lib/fieldslib/fieldslib.cma= : loaded

/Users/caseybasichis/.opam/4.00.1/lib/oUnit: added to search = path

/Users/caseybasichis/.opam/4.00.1/lib/oUnit/oUnit.cma: loaded=

/Users/caseybasichis/.opam/4.00.1/lib/pa_ounit: added to sear= ch path

/Users/caseybasichis/.opam/4.00.1/lib/pa_ounit/pa_ounit_lib.c= ma: loaded

/Users/caseybasichis/.opam/4.00.1/lib/res: added to search pa= th

/Users/caseybasichis/.opam/4.00.1/lib/res/res.cma: loaded

/Users/caseybasichis/.opam/4.00.1/lib/core_kernel: added to s= earch path

/Users/caseybasichis/.opam/4.00.1/lib/core_kernel/core_kernel= .cma: loaded

Cannot load required shared library dllcore_kernel_stubs.

Reason: dllcore_kernel_stubs.so: dlopen(dllcore_kernel_stubs.= so, 138): image not found.

/Users/caseybasichis/.opam/4.00.1/lib/core: added to search p= ath

/Users/caseybasichis/.opam/4.00.1/lib/core/core.cma: loaded

Cannot load required shared library dllcore_stubs.

Reason: dllcore_stubs.so: dlopen(dllcore_stubs.so, 138): imag= e not found.

/Users/caseybasichis/.opam/4.00.1/lib/core/core_top.cma: load= ed

File "/Users/caseybasichis/.ocamlinit", line 1:

Error: Reference to undefined global `Core'


Here is my .ocamlinit:

(* Adde= d by OPAM. *)

let () =3D

=A0 try Topdirs.= dir_directory (Sys.getenv "OCAML_TOPLEVEL_PATH")

=A0 with Not_found -> ()

;;


#use "topfind"

#caml= p4o

#thread

#require "core.top"=

#require "core.syntax"

#require "core_exten= ded"

#require "async"

open= Core.Std




=
On Tue, Aug 20, 2013 at 3:46 PM, Leo White <lpw25@cam.ac.uk> w= rote:
> I added #thread and I also tried adding a ";;&q= uot; after all of the lines starting with # . =A0Here is what my .ocamlinit=
> looks like right now.
>
> (* Added by OPAM. *)
> let () =3D
> =A0 try Topdirs.dir_directory (Sys.getenv "OCAML_TOPLEVEL_PATH&qu= ot;)
> =A0 with Not_found -> ()
> ;;
>
> #use "topfind"
> #camlp4o
> #require "core.top"
> #require "core.syntax"
> #require "core_extended"
> #require "async"
> #thread
> open Core.Std

The '#thread' directive needs to come before the '#requir= e "core.top"'
directive.

Regards,

Leo



--
Casey James Basichis
Composer - Adventure Time - Cartoon Networkhttp://www= .caseyjamesbasichis.com
caseybasichis@= gmail.com
310.387.7540
--047d7bd6adfe7d1e6e04e46a1598--