OCaml member diml commented Mar 12, 2014 I did another patch to check if gcc is in fact clang. Already have an account? Sign in to comment Contact GitHub API Training Shop Blog About © 2016 GitHub, Inc. yes with frame pointers....... Check This Out
Screenshot instructions: Windows Mac Red Hat Linux Ubuntu Click URL instructions: Right-click on ad, choose "Copy Link", then paste here → (This may not be possible with some types of Download in other formats: Comma-delimited Text Tab-delimited Text RSS Feed Anonymous | Login | Signup for a new account2016-11-19 17:38 CETMain | My View | View Issues | Change Log | touch foo.c ocamlc -c -verbose foo.c gabor-mediasmiths commented Mar 12, 2014 @diml nope: $ touch foo.c $ ocamlc -c -verbose foo.c + /usr/bin/clang -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -I'/opt/local/lib/ocaml' 'foo.c' clang: My guess is you will have similar problems if you try to install any ocaml code that have some C components. https://github.com/ocaml/opam/issues/1236
Trace: $ opam install pfff The following actions will be performed: - install ocamlfind.1.4.0 [required by pfff] - install pfff.0.27.1 2 to install | 0 to reinstall | 0 to upgrade The printed column numbers count bytes from the beginning of the …… By Sylvestre Ledru (Debian, IRILL). OCaml member diml commented Mar 12, 2014 @azone or @gabor-mediasmiths, can you check if you can compile a C file with ocamlc? You signed in with another tab or window.
At least all the ones that just enable or disable a pass. GCC (and every other command line tool really) errors > on unknown options. > > We do try to ignore GCC options that are safe to ignore, so a patch > Yes, at some point it would be nice to have a rationale for every option clang supports or doesn't. System: $ specs opam brew clang xcode os Specs: specs 0.8 https://github.com/mcandre/specs#readme opam --version 1.1.1 brew --version 0.9.5 clang --version Apple LLVM version 5.1 (clang-503.0.38) (based on LLVM 3.4svn) Target: x86_64-apple-darwin13.1.0
clang -arch x86_64 -c assembler supports CFI ... From the list: - -fexcess-precision must not be dropped silently, - -fno-check-new / -fcheck-new was discussed before, language lawyers can comment - -finput-charset=UTF-8 would be safe to drop as it And also, can you try to execute the clang command displayed by ocamlc and remove the -fno-defer-pop to check that it does compile? This Site chat blog.
From the list: > - -fexcess-precision must not be dropped silently, > - -fno-check-new / -fcheck-new was discussed before, language lawyers > can comment > - -finput-charset=UTF-8 would be safe Re: [Hol-info] advice on installing Ocaml, camlp5 & HOL Light on Mac OS X 10.8.5? There are quite some items with their occurrences: 2 '-falign-jumps=2' 2 '-fcheck-new' 33 '-fexcess-precision=standard' 2 '-fforce-addr' 2 Stack Overflow clang: error: unknown argument: ‘-fno-defer-pop' [-Wunused-command-line-argument-hard-error-in-future] clang: note: this will be a hard error (cannot be downgraded to a warning) in the future: Additional Information: My precise clang version
Mostly tidiness. http://clang.debian.net/status.php?version=3.4.2&key=UNKNOWN_ARG to ocaml broken with latest XCode Mar 24, 2014 OCaml member agarwal commented Mar 25, 2014 This has been fixed in ocaml/[email protected] Reload to refresh your session. A opam install iocaml still stop on -fno-defer-pop.
Please don't fill out this field. his comment is here Please report. > Information: directory ocaml_stuff/4.01.0 is missing. > Configuration failed. > > - With campl5 version 6.06 it's the following error (I'm not sure what the > preprocessor is here): Things like >> -malign-double would probably turn a build error into a miscompilation >> if ignored, so probably not. > I disagree that we should be adding random "disable pass" options. The list is unlikely to get shorter by just waiting.
On basic testing at the terminal, Ocaml seemed to be working fine. > I then installed camlp5 version 6.11, using ./configure --transitional > mode, and that seemed to be running fine Can we get the patch applied so that people who install 4.01.0 via OPAM get the patch? What version of Xcode and clang are you using? this contact form Thanks for the information.
When I then attempted to > install HOL Light, using the svn checkout > http://hol-light.googlecode.com/svn/trunk/ hol_light procedure, and got > the following error on "make": > > File "pa_j.ml", line 112, On 20 January 2014 18:18, Sylvestre Ledru <[hidden email]> wrote: > Hello, > > I am working on the processing of the rebuild of Debian using clang 3.4. > I noticed ghost commented Mar 28, 2014 Ack!
clang -arch x86_64 -c preprocessed assembler ... I attempted to install older versions of camlp5, version 6.02.0 and 5.15, but I got the following error on ./configure --transitional: Sorry: the compatibility with ocaml version "4.01.0" is not yet current community. Terms Privacy Security Status Help You can't perform that action at this time.
This was referenced Jul 15, 2014 Closed pfff compilation fails on OS X via source and opam with same error facebook/pfff#87 Closed error occurs when I install ocp-indent 1.4.2 via opam true native dynlink ........... Personal Open source Business Explore Sign up Sign in Pricing Blog Support Search GitHub This repository Watch 53 Star 462 Fork 150 ocaml/opam Code Issues 257 Pull requests 10 Projects navigate here gabor-mediasmiths commented Mar 12, 2014 $ ocamlc -config version: 4.01.0 standard_library_default: /opt/local/lib/ocaml standard_library: /opt/local/lib/ocaml standard_runtime: /opt/local/bin/ocamlrun ccomp_type: cc bytecomp_c_compiler: /usr/bin/clang -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT bytecomp_c_libraries: -lcurses -lpthread native_c_compiler: /usr/bin/clang -D_FILE_OFFSET_BITS=64 -D_REENTRANT
Thanks, S _______________________________________________ cfe-dev mailing list [hidden email] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev Rafael Espíndola Reply | Threaded Open this post in threaded view ♦ ♦ | Report Content as Inappropriate ♦ ♦ Re: In particular, is it possible to install an older version of Ocaml, e.g. Keeping HOL Light up to date with OCaml development looks to be quite a task. Reload to refresh your session.
In particular, is it possible to install an older version of > Ocaml, e.g.