mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-07 15:22:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

Author:halw

Browse Source 
Date:2011-02-24T17:26:36.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@791 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2011-02-24 20:18:56 +00:00
parent 90d50611c1
commit c06edf617a
2 changed files with 3 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
documentation/current/eiffelstudio/eiffelstudio-reference/compiler/command-line/finish-freezing-utility.wiki
View File

@@ -1,9 +1,6 @@
[[Property:title|finish_freezing utility]]
[[Property:weight|4]]
[[Property:uuid|bfc362f4-9187-ea47-baf6-46880ed43fdd]]
{{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]].
@@ -12,7 +9,7 @@ The command line utility finish_freezing is used to compile external code genera
<code lang="text">
finish_freezing [-location <directory>] [-generate_only] [-nproc <n>] [-low]
[-x86] [-silent [-silent...]] [-library [-library...]] [-version] [-nologo]
[-x86] [-library] [-version] [-nologo]
</code>
Options:
@@ -45,10 +42,6 @@ Options:
|
| Generate 32bit lib DLLs for .NET projects.
|-
| -silent
|
| Suppresses confirmation dialog.
|-
| -library
|
| Compiles the C code of an Eiffel library.

4
documentation/current/solutions/concurrent-computing/concurrent-eiffel-scoop/scoop-examples/barbershop.wiki
View File

@@ -1,6 +1,6 @@
[[Property:title|Barbershop]]
[[Property:weight|-11]]
[[Property:uuid|5ffbb4a1-10a1-c7d8-d30a-971027bf61ae]]
[[Property:uuid|3a6f929f-17a2-c9d8-1b88-0aad83db4160]]
{{UnderConstruction}}
@@ -11,7 +11,7 @@
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.
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=