[Barrelfish-users] How to use Mackerel?
daniel.roehrig at mailbox.tu-berlin.de
Tue Jul 3 23:44:42 CEST 2012
we tried this: " tools/bin/mackerel --bitfield-driver -c <dev file> -o
<output file>" but somehow got something really strange.
But the make approach works like a charm. Thanks for that hint!
On 03.07.2012 23:38, Baumann Andrew wrote:
> In general, you should only need to run hake after changing a Hakefile, or the Hake configuration file.
> Mackerel can be invoked through make, or completely manually. E.g.:
> $ make x86_64/include/dev/e1000_dev.h
> make: `x86_64/include/dev/e1000_dev.h' is up to date.
> $ grep 'mackerel.*e1000.dev' Makefile
> ./x86_64/include/dev/e1000_dev.h: ./tools/bin/mackerel /home/baumann/src/barrelfish/devices/e1000.dev ./x86_64/include/dev/.marker
> ./tools/bin/mackerel --bitfield-driver -c /home/baumann/src/barrelfish/devices/e1000.dev -o ./x86_64/include/dev/e1000_dev.h
> So you would run " tools/bin/mackerel --bitfield-driver -c <dev file> -o <output file>"
> -----Original Message-----
> From: Daniel Röhrig [mailto:daniel.roehrig at mailbox.tu-berlin.de]
> Sent: Tuesday, 03 July, 2012 14:29
> To: barrelfish-users at lists.inf.ethz.ch
> Subject: [Barrelfish-users] How to use Mackerel?
> Hey guys,
> is there a way to change and compile a dev-file without doing a complete
> hake? We tried to manually call mackerel on a dev file, but somehow we
> ended up with something that didn't match the .h-file that is produced
> by hake. Any ideas or instructions?
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
More information about the Barrelfish-users