[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



On 20 May 2015 at 11:39, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:
>>> Try to remove it from LIBS in the generated Makefile and remove the 
>>> "syntax(camlp4o)" in SYNTAX to see if this helps.
>>> If yes, I'm happy to get rid of the automatic inclusion lwt.syntax by the 
>>> mirage tool to avoid that.
>>
>> This might need a patch on mirage-decks to remove all the syntax extensions. 
>> I think that's a good think.
>
> Sorry to spam the list again. This obviously won't be as easy as it could be 
> in mirage-decks as we are using the cow syntax extension in various places. 
> So to fix you bug, you might want to edit the SYNTAX flag in the Makefile to 
> add "<main.*>: -syntax(camlp4o)" (similar to "static*.*" one). This will tell 
> ocamlbuild to not use camlp4 on that file.

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.

/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


 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.