Aristide

@yallop Not at all. @andrewray Thanks, unfortunately that still fails: ``` MacBook-Air:~ username$ opam install ctypes.0.11.2 iocaml The following actions will be performed: ∗ install conf-pkg-config 1.0 [required by ctypes]...

Installing `homebrew` fails too 😞 ``` MacBook-Air:~ username$ /usr/bin/ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)" ==> This script will install: /usr/local/bin/brew /usr/local/share/doc/homebrew /usr/local/share/man/man1/brew.1 /usr/local/share/zsh/site-functions/_brew /usr/local/etc/bash_completion.d/brew /usr/local/Homebrew ==> The following new directories will...

Actually it seems that I already have `libffi` in several places (I just kept 3 in the following): ``` $ locate libffi /Applications/Dropbox.app/Contents/Frameworks/libffi.6.dylib /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.11.sdk/usr/lib/libffi.tbd /usr/lib/libffi.dylib ```

Yes, in two places: ``` /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.11.sdk/usr/include/ffi/ffi.h /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/lib/swift-migrator/sdk/MacOSX.sdk/usr/include/ffi/ffi.h ```

@yallop Thanks. Since all of this is far above my head, I am not quite sure which replacement is required, tentatively: ``` export LIBFFI_CFLAGS=-I//Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.11.sdk/usr/include/ffi/include export LIBFFI_LIBS=\"-L//Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.11.sdk/usr/include/ffi/lib -lffi\" ``` But the...

OK, this one was really stupid, sorry. After the correction, installing `ctypes` fails later: ``` ### stderr ### # /Users/username/.opam/4.02.1/build/ctypes.0.11.2/src/ctypes-foreign-base/ffi_call_stubs.c:22:10: fatal error: 'ffi.h' file not found # #include # ^...

Yes, this goes further. Not sure what to do next: ``` opam install js_of_ocaml.2.8.3 iocaml ``` ... gives some new errors I think: ``` [ERROR] The compilation of iocamljs-kernel failed...

Same problem here. I thought I was crazy!

Oui, j'ai toujours en projet d'intégrer ces extensions de Merise 2. Quand, je ne sais pas. La première représentation poserait _a priori_ de sérieuses difficultés pour le plongement automatique. La...

Je me rends compte subitement que Mocodo gère cette fonctionnalité depuis longtemps. Elle est documentée ici : https://rawgit.com/laowantong/mocodo/master/doc/fr_refman.html#reduire_une_clef_primaire. J'ai parfois tendance à réinventer Merise, malheureusement sous d'autres noms, ce qui...