Error During seL4 Tutorial Build

Question

Error During seL4 Tutorial Build

johnkrainski opened this issue 9 years ago · comments

I am receiving an error during the the x86 make tutorial. I have executed all the steps on this page:
https://github.com/seL4-projects/sel4-tutorials/blob/master/Prerequisites.md
Everything works including make ia32_simple_defconfig; make silentoldconfig. When I execute the final make, lots of build activity occurs, then the make stops with the following error: "make: *** No rule to make target 'libsel4camkes', needed by 'libsel4muslccamkes'. Stop."

I have a co-worker who has built this example before, and they tried with the latest repository and receive the same error.

Please advise. Thank you,
John

Ihor Kuz · Answer 1 · Mon Aug 24 2015 14:26:55 GMT+0800 (China Standard Time)

It seems like the behaviour of the 'repo' tool had changed, breaking some of our manifests. I've fixed them, so if you try again, it should work.

johnkrainski · Answer 2 · Tue Aug 25 2015 07:41:08 GMT+0800 (China Standard Time)

Your fixed worked. Thanks. -John

johnkrainski · Answer 3 · Wed Oct 12 2016 03:43:06 GMT+0800 (China Standard Time)

Thanks, Ihor.

John

From: Ihor Kuz [mailto:notifications@github.com]
Sent: 10/10/16 22:26
To: SEL4PROJ/sel4-tutorials sel4-tutorials@noreply.github.com
Cc: Krainski, John john.krainski@boeing.com; Author author@noreply.github.com
Subject: Re: [SEL4PROJ/sel4-tutorials] Error During seL4 Tutorial Build (#2)

Closed #2 #2.

—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHubhttps://github.com//issues/2#event-818965230, or mute the threadhttps://github.com/notifications/unsubscribe-auth/ANSsuDSN6UsV7LCn04KQwa0v_8lGR0Daks5qyx3zgaJpZM4FwvJv.