> 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. Thomas > > /M > > -- > Magnus Therning OpenPGP: 0xAB4DFBA4 > email: [email protected] jabber: [email protected] > twitter: magthe http://therning.org/magnus _______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
