From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 195A5820A1 for ; Wed, 21 Aug 2013 08:32:03 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of romerun@gmail.com) identity=pra; client-ip=74.125.82.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="romerun@gmail.com"; x-sender="romerun@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of romerun@gmail.com designates 74.125.82.171 as permitted sender) identity=mailfrom; client-ip=74.125.82.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="romerun@gmail.com"; x-sender="romerun@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-we0-f171.google.com) identity=helo; client-ip=74.125.82.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="romerun@gmail.com"; x-sender="postmaster@mail-we0-f171.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Au4BAEReFFJKfVKrjWdsb2JhbABXA4M6Ub9cgSIIFg4BAQEBBwsLCRIGJIIkAQEFCxwEFQEUBx4DDAYFCw0uIQEBDAEEAQUBAwEYBhOHfQEBAg8MlxaMUAmCeUuDdAoZBAoZDWSBFgEFDI1RgmgXEYQDA4ktjE+BaYcthQGDQxYpRoQcHA X-IPAS-Result: Au4BAEReFFJKfVKrjWdsb2JhbABXA4M6Ub9cgSIIFg4BAQEBBwsLCRIGJIIkAQEFCxwEFQEUBx4DDAYFCw0uIQEBDAEEAQUBAwEYBhOHfQEBAg8MlxaMUAmCeUuDdAoZBAoZDWSBFgEFDI1RgmgXEYQDA4ktjE+BaYcthQGDQxYpRoQcHA X-IronPort-AV: E=Sophos;i="4.89,926,1367964000"; d="scan'208";a="24378480" Received: from mail-we0-f171.google.com ([74.125.82.171]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Aug 2013 08:32:02 +0200 Received: by mail-we0-f171.google.com with SMTP id q55so19564wes.2 for ; Tue, 20 Aug 2013 23:32:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:reply-to:in-reply-to:references:date:message-id :subject:from:to:content-type; bh=TYb+aomuIQ4bR8FaUg79hmA7gg7y3yxGUNAuVc47zaI=; b=Y+stSylmszATAolqK9WBsbjcYv1qAMq7GxU2TC5Zfz83fNKvctT/j3t36ZpT/zftoV G+bnAc6Dbs2HFSjQHeN91MWG83arB6uOSUwTgTX9qkoS/T/A4ZRBVIr33EssnkVg5g7p 7wd15dQ0EUezv7Q9wtTSTNYhhafI7JEUZtz1WwDAR/KqqwxnLhzLfGxeIT762WGnQTRe RxAWRhT32ZZPLftuUfZT/EV2tJvUI6jXsy2WDug9LMPgyVni0DiB1vqSuNAbx+QSJYRG HGE8OdA5PLxzXBSuRRQdLiQBwNDbfVRciDGwxWQXFRRtMe30VQBjshhYnOtVKgt7AKNT TUJg== MIME-Version: 1.0 X-Received: by 10.180.126.9 with SMTP id mu9mr4154537wib.16.1377066721832; Tue, 20 Aug 2013 23:32:01 -0700 (PDT) Received: by 10.194.220.100 with HTTP; Tue, 20 Aug 2013 23:32:01 -0700 (PDT) Reply-To: romerun@gmail.com In-Reply-To: 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 23:32:01 -0700 Message-ID: From: Komtanoo Pinpimai To: OCaml Mailing List Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] Setting up OcaIDE I never get ocaide working with ocaml 4. Anyone knows for sure if it works or not. I always get the error "include project and resource name: /:" on "managed project". On Tue, Aug 20, 2013 at 5:16 PM, Casey Basichis wrote: > 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 -- In accordance with U.S. Treasury regulations, if this message contains advice concerning one or more Federal tax issues, it is not a formal legal opinion and may not be used by any person for the avoidance of Federal tax penalties.