Re: [MirageOS-devel] Any way to get caml4p to run on ARM (cubietruck)?

[Magnus Therning <magnus@xxxxxxxxxxxx>]

On Wed, May 20, 2015 at 03:27:53PM +0200, Magnus Therning wrote:
> On 20 May 2015 at 15:16, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:
> >> I just did a quick check on a PC.  After `make configure` I modified
> >> `src/Makefile` like this:
> >>
> >> ~~~
> >> --- src/Makefile.orig    2015-05-20 14:27:51.887520390 +0200
> >> +++ src/Makefile    2015-05-20 14:28:18.297382817 +0200
> >> @@ -5,6 +5,7 @@
> >> SYNTAX = -tags "syntax(camlp4o),annot,bin_annot,strict_sequence,principal"
> >>
> >> SYNTAX += -tag-line "<static*.*>: -syntax(camlp4o)"
> >> +SYNTAX += -tag-line "<main.*>: -syntax(camlp4o)"
> >>
> >> FLAGS  = -cflag -g -lflags -g,-linkpkg
> >>
> >> ~~~
> >>
> >> But when comparing the log file (`src/_build/_log`) with and without
> >> this change there's no difference (i.e. `-syntax(camlp4o)` is present
> >> on each entry related to any file matching `main.*`).
> >>
> >> I must have misunderstood your instructions.
> >
> > Indeed, the order in which the tag -tag and -tag-line predicates are taken 
> > into account doesn't seem very reliable ...
> >
> > I've tried the following and it seems to work better:
> >
> > SYNTAX = -tags "annot,bin_annot,strict_sequence,principal,thread"
> > SYNTAX += -tag-line "<static*.*> or <main.*>: -syntax(camlp4o)"
> > SYNTAX += -tag-line "not (<static*.*> or <main.*>): syntax(camlp4o)"
> >
> > I've opened https://github.com/mirage/mirage/issues/405 to track that.
> 
> Excellent!  I've verified it on PC... will try it on my Cubie ASAP :)
> 
> I just tried and it looks like it would be enough to use the first and
> last line from your solution above (i.e. the middle line doesn't seem
> to add anything, which seems logical, but I guess it might be
> problematic applying rational thought to the ocaml build tools ;):
> 
> ~~~
> SYNTAX = -tags "annot,bin_annot,strict_sequence,principal,thread"
> SYNTAX += -tag-line "not (<static*.*> or <main.*>): syntax(camlp4o)"
> ~~~

Unfortunately the segmentation fault remains, but now on `server.ml`.
And I think `server.ml` really *has* to be passed through camlp4o,
right?

/M

-- 
Magnus Therning                      OpenPGP: 0xAB4DFBA4 
email: magnus@xxxxxxxxxxxx   jabber: magnus@xxxxxxxxxxxx
twitter: magthe               http://therning.org/magnus

The right to search for truth implies also a duty; one must not
conceal any part of what one has recognized to be true.
     -- Albert Einstein

Attachment: pgpLwJZ_aMeBh.pgp
Description: PGP signature

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel