Author:halw

Date:2011-02-24T03:11:23.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@786 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
alexk
2011-02-24 07:00:26 +00:00
parent be4bec3162
commit 84ba331a97
2 changed files with 36 additions and 12 deletions

View File

@@ -4,8 +4,6 @@
{{ReviewRequested}}
=Introduction=
The command line utility finish_freezing is used to compile external code generated by the Eiffel compiler. Most of the time finish_freezing gets executed behind the scenes as you freeze and finalize Eiffel systems, so you don't really need to be aware of it. However, finish_freezing can be run standalone, and is useful, for example, when [[Porting an Eiffel application from UNIX to Windows or vice-versa|porting systems to other platforms]].
@@ -17,47 +15,55 @@ finish_freezing [-location <directory>] [-generate_only] [-nproc <n>] [-low]
[-x86] [-silent [-silent...]] [-library [-library...]] [-version] [-nologo]
</code>
OPTIONS:
Options:
:Options should be prefixed with: '-' or '/'
{| border="1"
|-
| '''OPTION'''
| '''ARGUMENTS'''
! style="text-align: center" | Option
! style="text-align: center" | Arguments
! style="text-align: center" | Effect
|-
|-
| -location
| ''directory''
| Alternative location to compile C code in.
<directory>: Location to compile C code in
|-
| -generate_only
|
| Informs tool to only generate a Makefile.
|-
| -nproc
| Maximum number of processors to use
<n>: Number of processors
| -nproc
| ''n''
| Maximum number of processors to use.
|-
| -low
|
| Executes finish freezing in low-execution priority mode.
|-
| -x86
|
| Generate 32bit lib DLLs for .NET projects.
|-
| -silent
| Suppresses confirmation dialog
|
| Suppresses confirmation dialog.
|-
| -library
| Compiles the C code of an Eiffel library
|
| Compiles the C code of an Eiffel library.
|-
| -?
|
| Display usage information.
|-
| -version
|
| Displays version information.
|-
| -nologo
|
| Supresses copyright information.
|}

View File

@@ -0,0 +1,18 @@
[[Property:title|Barbershop]]
[[Property:weight|-11]]
[[Property:uuid|5ffbb4a1-10a1-c7d8-d30a-971027bf61ae]]
{{UnderConstruction}}
{{Beta}}
=Description=
The [http://en.wikipedia.org/wiki/Sleeping_barber_problem barbershop], sometimes called ''the sleeping barber'', models a barbershop with one barber, one barber's chair, and a waiting room with several chairs. The alternative name of the problem comes from the fact that if there is no one waiting for a haircut, the barber flops in his chair and falls asleep.
Also involved are a number of shaggy-haired customers. A customer entering the barbershop looks around and assesses the situation. If all the waiting room chairs are occupied, the customer leaves the shop to return again at a time when, hopefully, the queue will be shorter.
=Highlights=