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

[Magnus Therning <magnus@xxxxxxxxxxxx>]

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)"
~~~

/M

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

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