2016-02-18 07:11:59 -08:00
|
|
|
#**************************************************************************
|
|
|
|
|
#* *
|
|
|
|
|
#* OCaml *
|
|
|
|
|
#* *
|
|
|
|
|
#* Xavier Leroy, projet Cristal, INRIA Rocquencourt *
|
|
|
|
|
#* *
|
|
|
|
|
#* Copyright 1999 Institut National de Recherche en Informatique et *
|
|
|
|
|
#* en Automatique. *
|
|
|
|
|
#* *
|
|
|
|
|
#* All rights reserved. This file is distributed under the terms of *
|
|
|
|
|
#* the GNU Lesser General Public License version 2.1, with the *
|
|
|
|
|
#* special exception on linking described in the file LICENSE. *
|
|
|
|
|
#* *
|
|
|
|
|
#**************************************************************************
|
1999-11-17 10:59:06 -08:00
|
|
|
|
2001-03-26 03:08:00 -08:00
|
|
|
# The main Makefile
|
1995-05-04 03:15:53 -07:00
|
|
|
|
2015-10-23 06:49:59 -07:00
|
|
|
include Makefile.shared
|
1996-02-13 08:29:09 -08:00
|
|
|
|
2008-02-29 04:53:34 -08:00
|
|
|
# Hard bootstrap how-to:
|
|
|
|
|
# (only necessary in some cases, for example if you remove some primitive)
|
|
|
|
|
#
|
|
|
|
|
# make coreboot [old system -- you were in a stable state]
|
|
|
|
|
# <change the source>
|
2014-05-08 06:34:46 -07:00
|
|
|
# make clean runtime coreall
|
2008-02-29 04:53:34 -08:00
|
|
|
# <debug your changes>
|
2014-05-08 06:34:46 -07:00
|
|
|
# make clean runtime coreall
|
|
|
|
|
# make coreboot [new system -- now in a stable state]
|
