Re: Eiffel-IUP at Windows 10

"Germán Arias [email protected] [gobo-eiffel]" <[email protected]> Wed, 22 Jul 2020 17:16:15 -0600
Newsgroups gmane.comp.lang.eiffel.gobo.general
Message-ID <[email protected]>
--------------94C6102E59B40A504B600D68
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: quoted-printable

Hi

On 7/22/20 4:20 PM, Eric Bezault ericb-D6Qt/9opevxWk0Htik3J/[email protected] [gobo-eiffel] wrote:
>
> On 23/07/2020 0:18, Germ=C3=A1n Arias [email protected] [gobo-eiffel] wr=
ote:
> > Hi Eric
> >
> > On 7/21/20 2:48 AM, Eric Bezault ericb-D6Qt/9opevxWk0Htik3J/[email protected] [gobo-eiffel] wrote=
:
> >> One way to check that everything is OK is to use an ECF file
> >>
> >> with:
> >>
> >> <root all_classes=3D"true"/>.
> >>
> > I have this line in the ECF files of Eiffel-IUP, but not in the
> > examples. I suppose this isn't needed since I have a line like this:
> >
> > <root feature=3D"make" class=3D"EXAMPLE1"/>
> >
> > right?
>
> You wanted to be sure that the code was void-safe. If you want all
> classes to be compiled (not just those needed in your example) and
> hence check that they are void-safe, your project ECF file (not just
> your library ECF file) should have:
>
> <root all_classes=3D"true"/>
>
Ok, I will add this and test all the examples.


>
> >>> Wy this work on Linux but not on Windows?
> >>
> >> I don't know.
> >> But the way to specify that in an ECF file is as follows:
> >>
> >> <external_include location=3D"$(EIFFEL_IUP)/c_functions"/>
> >>
> > Thank, this solve the problem. Now I have other problem, but here I
> > don't have idea what is going on. See attached image.
>
> Attachments are not accepted in this mailing list.
>
Here the link to the image:

https://www.dropbox.com/s/5ph9lj9wfmjbqny/error-compilation.png?dl=3D0

Regards.



--------------94C6102E59B40A504B600D68
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable




<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/htm=
l4/strict.dtd">
<html>
<head>
</head>






=20
<body style=3D"background-color: #fff;">
<span style=3D"display:none">&nbsp;</span>

<!--~-|**|PrettyHtmlStartT|**|-~-->
<div id=3D"ygrp-mlmsg" style=3D"position:relative;">
  <div id=3D"ygrp-msg" style=3D"z-index: 1;">
<!--~-|**|PrettyHtmlEndT|**|-~-->

    <div id=3D"ygrp-text" >
=20=20=20=20=20=20
=20=20=20=20=20=20
      <p>
=20=20
=20=20
    <p>Hi<br>
    </p>
    <div class=3D"moz-cite-prefix">On 7/22/20 4:20 PM, Eric Bezault
      <a class=3D"moz-txt-link-abbreviated" href=3D"mailto:[email protected]=
om">ericb-D6Qt/9opevxWk0Htik3J/[email protected]</a> [gobo-eiffel] wrote:<br>
    </div>
    <blockquote type=3D"cite" cite=3D"mid:b83b2789-e33d-7cd2-04d1-4025055e7=
5b6-D6Qt/9opevxWk0Htik3J/[email protected]">
=20=20=20=20=20=20
      <span>=C2=A0</span>
=20=20=20=20=20=20
          <div id=3D"ygrp-text">
            <p>On 23/07/2020 0:18, Germ=C3=A1n Arias <a class=3D"moz-txt-li=
nk-abbreviated" href=3D"mailto:[email protected]">[email protected]</a>
              [gobo-eiffel] wrote:<br>
              &gt; Hi Eric<br>
              &gt; <br>
              &gt; On 7/21/20 2:48 AM, Eric Bezault <a class=3D"moz-txt-lin=
k-abbreviated" href=3D"mailto:ericb-D6Qt/9opevxWk0Htik3J/[email protected]">ericb-D6Qt/9opevxWk0Htik3J/[email protected]</a>
              [gobo-eiffel] wrote:<br>
              &gt;&gt; One way to check that everything is OK is to use
              an ECF file<br>
              &gt;&gt;<br>
              &gt;&gt; with:<br>
              &gt;&gt;<br>
              &gt;&gt; &lt;root all_classes=3D"true"/&gt;.<br>
              &gt;&gt;<br>
              &gt; I have this line in the ECF files of Eiffel-IUP, but
              not in the<br>
              &gt; examples. I suppose this isn't needed since I have a
              line like this:<br>
              &gt; <br>
              &gt; &lt;root feature=3D"make" class=3D"EXAMPLE1"/&gt;<br>
              &gt; <br>
              &gt; right?<br>
              <br>
              You wanted to be sure that the code was void-safe. If you
              want all<br>
              classes to be compiled (not just those needed in your
              example) and<br>
              hence check that they are void-safe, your project ECF file
              (not just<br>
              your library ECF file) should have:<br>
              <br>
              &lt;root all_classes=3D"true"/&gt;<br>
            </p>
          </div>
=20=20=20=20=20=20=20=20
=20=20=20=20=20=20
    </blockquote>
    <p>Ok, I will add this and test all the examples.<br>
    </p>
    <p><br>
    </p>
    <blockquote type=3D"cite" cite=3D"mid:b83b2789-e33d-7cd2-04d1-4025055e7=
5b6-D6Qt/9opevxWk0Htik3J/[email protected]">
      <div id=3D"ygrp-mlmsg">
        <div id=3D"ygrp-msg">
          <div id=3D"ygrp-text">
            <p>
              <br>
              &gt;&gt;&gt; Wy this work on Linux but not on Windows?<br>
              &gt;&gt;<br>
              &gt;&gt; I don't know.<br>
              &gt;&gt; But the way to specify that in an ECF file is as
              follows:<br>
              &gt;&gt;<br>
              &gt;&gt; &lt;external_include
              location=3D"$(EIFFEL_IUP)/c_functions"/&gt;<br>
              &gt;&gt;<br>
              &gt; Thank, this solve the problem. Now I have other
              problem, but here I<br>
              &gt; don't have idea what is going on. See attached image.<br=
>
              <br>
              Attachments are not accepted in this mailing list.<br>
            </p>
          </div>
        </div>
      </div>
    </blockquote>
    <p>Here the link to the image:</p>
    <p><a class=3D"moz-txt-link-freetext" href=3D"https://www.dropbox.com/s=
/5ph9lj9wfmjbqny/error-compilation.png?dl=3D0">https://www.dropbox.com/s/5p=
h9lj9wfmjbqny/error-compilation.png?dl=3D0</a></p>
    <p>Regards.</p>
    <p><br>
    </p>
=20=20

</p>

    </div>
=20=20=20=20=20

    <!--~-|**|PrettyHtmlStart|**|-~-->
    <div style=3D"color: #fff; height: 0;">__._,_.___</div>

=20=20=20=20=20=20=20=20=20=20
=20=20
=20

=20=20=20=20
    <div style=3D"clear:both"> </div>

    <div id=3D"fromDMARC" style=3D"margin-top: 10px;">
        <hr style=3D"height:2px ; border-width:0; color:#E3E3E3; background=
-color:#E3E3E3;">
        Posted by: =3D?UTF-8?Q?Germ=3Dc3=3Da1n_Arias?=3D &lt;germanandre@gm=
x.es&gt;        <hr style=3D"height:2px ; border-width:0; color:#E3E3E3; ba=
ckground-color:#E3E3E3;">
     </div>
    <div style=3D"clear:both"> </div>

    <table cellspacing=3D4px style=3D"margin-top: 10px; margin-bottom: 10px=
; color: #2D50FD;">
      <tbody>
        <tr>
          <td style=3D"font-size: 12px; font-family: arial; font-weight: bo=
ld; padding: 7px 5px 5px;"  >
                          <a style=3D"text-decoration: none; color: #2D50FD=
" href=3D"https://groups.yahoo.com/neo/groups/gobo-eiffel/conversations/mes=
sages/1936;_ylc=3DX3oDMTJwcGU3bjVjBF9TAzk3MzU5NzE0BGdycElkAzE1MjIyNzAEZ3Jwc=
3BJZAMxNzA1MDA2NzY0BG1zZ0lkAzE5MzYEc2VjA2Z0cgRzbGsDcnBseQRzdGltZQMxNTk1NDU5=
NTU3?act=3Dreply&messageNum=3D1936">Reply via web post</a>
                      </td>
          <td>&bull;</td>
          <td style=3D"font-size: 12px; font-family: arial; padding: 7px 5p=
x 5px;" >
            <a href=3D"mailto:[email protected]?subject=3DRe%3A%20%5Bgobo-=
eiffel%5D%20Eiffel-IUP%20at%20Windows%2010" style=3D"text-decoration: none;=
 color: #2D50FD;">
               Reply to sender            </a>
          </td>
          <td>&bull;</td>
          <td style=3D"font-size: 12px; font-family: arial; padding: 7px 5p=
x 5px;">
            <a href=3D"mailto:[email protected]?subject=3DRe%3A%2=
0%5Bgobo-eiffel%5D%20Eiffel-IUP%20at%20Windows%2010" style=3D"text-decorati=
on: none; color: #2D50FD">
              Reply to group            </a>
          </td>
          <td>&bull;</td>
          <td style=3D"font-size: 12px; font-family: arial; padding: 7px 5p=
x 5px;" >
            <a href=3D"https://groups.yahoo.com/neo/groups/gobo-eiffel/conv=
ersations/newtopic;_ylc=3DX3oDMTJlNTNmZTkwBF9TAzk3MzU5NzE0BGdycElkAzE1MjIyN=
zAEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwNmdHIEc2xrA250cGMEc3RpbWUDMTU5NTQ1OTU1Nw--=
" style=3D"text-decoration: none; color: #2D50FD">Start a New Topic</a>
          </td>
          <td>&bull;</td>
          <td style=3D"font-size: 12px; font-family: arial; padding: 7px 5p=
x 5px;color: #2D50FD;" >
                            <a href=3D"https://groups.yahoo.com/neo/groups/=
gobo-eiffel/conversations/topics/1932;_ylc=3DX3oDMTM0ZzFucm5pBF9TAzk3MzU5Nz=
E0BGdycElkAzE1MjIyNzAEZ3Jwc3BJZAMxNzA1MDA2NzY0BG1zZ0lkAzE5MzYEc2VjA2Z0cgRzb=
GsDdnRwYwRzdGltZQMxNTk1NDU5NTU3BHRwY0lkAzE5MzI-" style=3D"text-decoration: =
none; color: #2D50FD;">Messages in this topic</a>
                (5)
                      </td>
        </tr>
      </tbody>
    </table>

=20=20=20=20=20=20=20=20

<!------- Start Nav Bar ------>
<!-- |**|begin egp html banner|**| -->
<!-- |**|end egp html banner|**| -->


    <div id=3D"ygrp-grfd" style=3D"font-family: Verdana; font-size: 12px; p=
adding: 15px 0;">
=20=20=20=20=20=20
<!-- |**|begin egp html banner|**| -->

      To Post a message, send it to:&nbsp;&nbsp; [email protected]<BR=
>
To Unsubscribe, send a blank message to: gobo-eiffel-unsubscribe-B11MqFFcr06IwRZHo2/[email protected]=
m=20=20=20=20=20=20
<!-- |**|end egp html banner|**| -->

    </div>
=20=20

=20

<!-- |**|begin egp html banner|**| -->
<div id=3D"ygrp-vital" style=3D"background-color: #f2f2f2; font-family: Ver=
dana; font-size: 10px; margin-bottom: 10px; padding: 10px;">

    <span id=3D"vithd" style=3D"font-weight: bold; color: #333; text-transf=
orm: uppercase; "><a href=3D"https://groups.yahoo.com/neo/groups/gobo-eiffe=
l/info;_ylc=3DX3oDMTJlYTkxaGhxBF9TAzk3MzU5NzE0BGdycElkAzE1MjIyNzAEZ3Jwc3BJZ=
AMxNzA1MDA2NzY0BHNlYwN2dGwEc2xrA3ZnaHAEc3RpbWUDMTU5NTQ1OTU1Nw--" style=3D"t=
ext-decoration: none;">Visit Your Group</a></span>

     <ul style=3D"list-style-type: none; margin: 0; padding: 0; display: in=
line;">
                                                    </ul>
  </div>


<div id=3D"ft" style=3D"font-family: Arial; font-size: 11px; margin-top: 5p=
x; padding: 0 2px 0 0; clear: both;">
  <a href=3D"https://groups.yahoo.com/neo;_ylc=3DX3oDMTJkbW1qaW4xBF9TAzk3ND=
c2NTkwBGdycElkAzE1MjIyNzAEZ3Jwc3BJZAMxNzA1MDA2NzY0BHNlYwNmdHIEc2xrA2dmcARzd=
GltZQMxNTk1NDU5NTU4" style=3D"float: left;"><img src=3D"https://s.yimg.com/=
ru/0.9.12/min/css/yahoo_en-US_f_pw_101x21.png" height=3D"21" width=3D"101" =
alt=3D"Yahoo! Groups" style=3D"border: 0;"/></a>
  <div style=3D"color: #747575; float: right;"> &bull; <a href=3D"https://i=
nfo.yahoo.com/privacy/us/yahoo/groups/details.html" style=3D"text-decoratio=
n: none;">Privacy</a> &bull; <a href=3D"mailto:gobo-eiffel-unsubscribe@yaho=
ogroups.com?subject=3DUnsubscribe" style=3D"text-decoration: none;">Unsubsc=
ribe</a> &bull; <a href=3D"https://info.yahoo.com/legal/us/yahoo/utos/terms=
/" style=3D"text-decoration: none;">Terms of Use</a> </div>
</div>
<br>

<!-- |**|end egp html banner|**| -->

  </div> <!-- ygrp-msg -->

=20
  <!-- Sponsor -->
  <!-- |**|begin egp html banner|**| -->
  <div id=3D"ygrp-sponsor" style=3D"width:160px; float:right; clear:none; m=
argin:0 0 25px 0; background: #fff;">

<!-- Start Recommendations -->
<div id=3D"ygrp-reco">
     </div>
<!-- End Recommendations -->



  </div>   <!-- |**|end egp html banner|**| -->

  <div style=3D"clear:both; color: #FFF; font-size:1px;">.</div>
</div>

  <img src=3D"http://geo.yahoo.com/serv?s=3D97359714/grpId=3D1522270/grpspI=
d=3D1705006764/msgId=3D1936/stime=3D1595459557" width=3D"1" height=3D"1"> <=
br>

<img src=3D"http://y.analytics.yahoo.com/fpc.pl?ywarid=3D515FB27823A7407E&a=
=3D10001310322279&js=3Dno&resp=3Dimg" width=3D"1" height=3D"1">=20

<div style=3D"color: #fff; height: 0;">__,_._,___</div>
<!--~-|**|PrettyHtmlEnd|**|-~-->

</body>

<!--~-|**|PrettyHtmlStart|**|-~-->
<head>
  <style type=3D"text/css">
  <!--
  #ygrp-mkp {
  border: 1px solid #d8d8d8;
  font-family: Arial;
  margin: 10px 0;
  padding: 0 10px;
}

#ygrp-mkp hr {
  border: 1px solid #d8d8d8;
}

#ygrp-mkp #hd {
  color: #628c2a;
  font-size: 85%;
  font-weight: 700;
  line-height: 122%;
  margin: 10px 0;
}

#ygrp-mkp #ads {
  margin-bottom: 10px;
}

#ygrp-mkp .ad {
  padding: 0 0;
}

#ygrp-mkp .ad p {
  margin: 0;
}

#ygrp-mkp .ad a {
  color: #0000ff;
  text-decoration: none;
}
  #ygrp-sponsor #ygrp-lc {
  font-family: Arial;
}

#ygrp-sponsor #ygrp-lc #hd {
  margin: 10px 0px;
  font-weight: 700;
  font-size: 78%;
  line-height: 122%;
}

#ygrp-sponsor #ygrp-lc .ad {
  margin-bottom: 10px;
  padding: 0 0;
}

  #actions {
    font-family: Verdana;
    font-size: 11px;
    padding: 10px 0;
  }

  #activity {
    background-color: #e0ecee;
    float: left;
    font-family: Verdana;
    font-size: 10px;
    padding: 10px;
  }

  #activity span {
    font-weight: 700;
  }

  #activity span:first-child {
    text-transform: uppercase;
  }

  #activity span a {
    color: #5085b6;
    text-decoration: none;
  }

  #activity span span {
    color: #ff7900;
  }

  #activity span .underline {
    text-decoration: underline;
  }

  .attach {
    clear: both;
    display: table;
    font-family: Arial;
    font-size: 12px;
    padding: 10px 0;
    width: 400px;
  }

  .attach div a {
    text-decoration: none;
  }

  .attach img {
    border: none;
    padding-right: 5px;
  }

  .attach label {
    display: block;
    margin-bottom: 5px;
  }

  .attach label a {
    text-decoration: none;
  }
=20=20
  blockquote {
    margin: 0 0 0 4px;
  }

  .bold {
    font-family: Arial;
    font-size: 13px;
    font-weight: 700;
  }

  .bold a {
    text-decoration: none;
  }

  dd.last p a {
    font-family: Verdana;
    font-weight: 700;
  }

  dd.last p span {
    margin-right: 10px;
    font-family: Verdana;
    font-weight: 700;
  }

  dd.last p span.yshortcuts {
    margin-right: 0;
  }

  div.attach-table div div a {
    text-decoration: none;
  }

  div.attach-table {
    width: 400px;
  }

  div.file-title a, div.file-title a:active, div.file-title a:hover, div.fi=
le-title a:visited {
    text-decoration: none;
  }

  div.photo-title a, div.photo-title a:active, div.photo-title a:hover, div=
..photo-title a:visited {
    text-decoration: none;
  }

  div#ygrp-mlmsg #ygrp-msg p a span.yshortcuts {
    font-family: Verdana;
    font-size: 10px;
    font-weight: normal;
  }

  .green {
    color: #628c2a;
  }

  .MsoNormal {
    margin: 0 0 0 0;
  }

  o {
    font-size: 0;
  }

  #photos div {
    float: left;
    width: 72px;
  }

  #photos div div {
    border: 1px solid #666666;
    height: 62px;
    overflow: hidden;
    width: 62px;
  }

  #photos div label {
    color: #666666;
    font-size: 10px;
    overflow: hidden;
    text-align: center;
    white-space: nowrap;
    width: 64px;
  }

  #reco-category {
    font-size: 77%;
  }

  #reco-desc {
    font-size: 77%;
  }

  .replbq {
    margin: 4px;
  }

  #ygrp-actbar div a:first-child {
   /* border-right: 0px solid #000;*/
    margin-right: 2px;
    padding-right: 5px;
  }

  #ygrp-mlmsg {
    font-size: 13px;
    font-family: Arial, helvetica,clean, sans-serif;
    *font-size: small;
    *font: x-small;
  }

  #ygrp-mlmsg table {
    font-size: inherit;
    font: 100%;
  }

  #ygrp-mlmsg select, input, textarea {
    font: 99% Arial, Helvetica, clean, sans-serif;
  }

  #ygrp-mlmsg pre, code {
    font:115% monospace;
    *font-size:100%;
  }

  #ygrp-mlmsg * {
    line-height: 1.22em;
  }

  #ygrp-mlmsg #logo {
    padding-bottom: 10px;
  }


  #ygrp-msg p a {
    font-family: Verdana;
  }

  #ygrp-msg p#attach-count span {
    color: #1E66AE;
    font-weight: 700;
  }

  #ygrp-reco #reco-head {
    color: #ff7900;
    font-weight: 700;
  }

  #ygrp-reco {
    margin-bottom: 20px;
    padding: 0px;
  }

  #ygrp-sponsor #ov li a {
    font-size: 130%;
    text-decoration: none;
  }

  #ygrp-sponsor #ov li {
    font-size: 77%;
    list-style-type: square;
    padding: 6px 0;
  }=20

  #ygrp-sponsor #ov ul {
    margin: 0;
    padding: 0 0 0 8px;
  }

  #ygrp-text {
    font-family: Georgia;
  }

  #ygrp-text p {
    margin: 0 0 1em 0;
  }

  #ygrp-text tt {
    font-size: 120%;
  }

  #ygrp-vital ul li:last-child {
    border-right: none !important;=20
  }=20
  -->
  </style>
</head>

<!--~-|**|PrettyHtmlEnd|**|-~-->
</html>
<!-- end group email -->


--------------94C6102E59B40A504B600D68--