A convenient makefile

Sören Jonsson sorjon02 at gmail.com
Fri Jun 6 19:54:43 CEST 2014


I have recently made fiasco and the l4Re, and found that it can be a 
little tricky. It is a few Debian packages that can be easy to forget to 
install on your computer etc.

In order to make it easier to remember all details I developed the 
attached Makefile. I have tested it fairly well, and it makes it easy to 
download and make both l4Fiasco and the l4Re on a Debian or Ubuntu 
machine. It should be easy to modify to work with Red Hat as well.

"make envesetup" will install all necessary packages except the "make" 
package. That has to be installed previously.

"make downloads" will download l4Fiasco, the l4Re, and l4Linux to your 

"make kernelsetup" will create the directory fiasco_bld in your current 
directory and configure the build there.

"make resetup" will create the directory l4Re_bld in your current 
directory and configure the build of l4Re in that directory.

I have found the Makefile very convenient, and decided to post it to the 
l4-hackers  mailing list in the case that it can help more people than 
me. I hope that you like it.

Best regards,

Sören Jonsson
-------------- next part --------------
#  This makefile will create an environment that will make it easy to make
#  the L4 Fiasco.OC microkernel and L4Re runtime environment on any Linux
#  machine using the apt-get package manager. Thease include
#  Debian and Ubuntu. The script has been developed and tested on Debian.
THISDIR=$(shell pwd)


	echo "apt-get -y install libncurses5" > envsetup.sh;
	echo "apt-get -y install make" >> envsetup.sh;
	echo "apt-get -y install gawk" >> envsetup.sh;
	echo "apt-get -y install g++" >> envsetup.sh;
	echo "apt-get -y install binutils" >> envsetup.sh;
	echo "apt-get -y install pkg-config" >> envsetup.sh;
	echo "apt-get -y install subversion" >> envsetup.sh;
	echo "apt-get -y install gcc-multilib" >> envsetup.sh;
	echo "apt-get -y install g++-multilib" >> envsetup.sh;
	echo "apt-get -y install qemu" >> envsetup.sh;
	echo "apt-get -y install perl" >> envsetup.sh;
	/bin/chmod u+x envsetup.sh

envsetup: envsetup.sh
	/usr/bin/sudo $(THISDIR)/envsetup.sh

	svn cat $(ADDR1) | perl - init $(ADDR2) fiasco l4re 
	svn co $(ADDR3) l4linux

	cd $(THISDIR)/src/kernel/fiasco && \
	make BUILDDIR=$(THISDIR)/fiasco_bld
	cd $(THISDIR)/fiasco_bld && \
	make menuconfig

	cd src/l4 && \
	make B=$(REBUILD) && \
	make O=$(REBUILD) config

More information about the l4-hackers mailing list