Re: Newbie questions

"Eric Bezault ericb-D6Qt/9opevxWk0Htik3J/[email protected] [gobo-eiffel]" <[email protected]> Thu, 11 Jul 2019 08:39:07 +0200
Newsgroups gmane.comp.lang.eiffel.gobo.general
Message-ID <[email protected]>
On 11/07/2019 1:33, Germán Arias [email protected] [gobo-eiffel] wrote:
>> and to clean the project:
>>
>> geant clean
>>
> With this I get:
> 
>      cannot read build file 
> '/home/german/Desarrollo/pruebas/gec/hello/build.eant'
> 
>      BUILD FAILED!
> 
> I have two files: "application.e" and "hola.ecf". I compile the program 
> with:
> 
>      gec hola.ecf

geant needs a build.eant file (in the same way make needs a Makefile).
You can create one for your hola project:

~~~~~~~~~~~~
<?xml version="1.0"?>

<project name="hola" default="help">

	<inherit>
		<parent location="${GOBO}/library/common/config/eiffel.eant">
			<redefine target="init_system"/>
		</parent>
	</inherit>

<!-- Implementation -->

	<target name="init_system" export="NONE">
		<set name="system" value="hola"/>
		<set name="system_dir" value="path to hola project"/>
	</target>

</project>
~~~~~~~~~~~~

With this file build.eant, you can do that:

geant compile_ge    <- to compile with gec
geant compile_ise   <- to compile with ec in finalized mode
geant compile_debug_ise  <- to compile with ec in workbench mode with 
assertions enabled
geant clean         <- to remove intermediate files
geant clobber       <- same as `clean` but also removes the executable

The commands `geant compile_*` expect to find a file system.ecf in the
current folder. To have ECF files which work both with gec and ec,
you can have examples through out the Gobo project. But if you want to
keep your hola.ecf file, `gec hola.ecf` followed by `geant clean`
will just work fine.

-- 
Eric Bezault
mailto:ericb-D6Qt/9opevxWk0Htik3J/[email protected]
http://www.gobosoft.com


------------------------------------
Posted by: Eric Bezault <ericb-D6Qt/9opevxWk0Htik3J/[email protected]>
------------------------------------

To Post a message, send it to:   [email protected]
To Unsubscribe, send a blank message to: [email protected]