newbie trying to make operable
ID0000592: This issue was created automatically from Mantis Issue 592. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000592 | Frama-C | Graphical User Interface | public | 2010-09-23 | 2010-12-03 |
| Reporter | blackdiamond | Assigned To | monate | Resolution | no change required |
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Boron-20100401 | Target Version | - | Fixed in Version | - |
Description :
Hi :
I have installed the Boron Frama-C windows with Cygwin 2.721 setup version. Also I installed the gcc and so.
After trying to load a c program in the frame dialog, an error appear with the next:
"gcc" not recognized as an internal or external command, program or executable lot file
Also, the message:
"Note that no C preprocessor is installed by Frama-C itself. We encourage you to install cygwin from http://cygwin.org and to launch Frama-C tools from a shell which contains "gcc" and the "bin" directory of Frama-C in its path."
I have added the PATH of Frama-C/bin but it still does not work.
DO I need to set windows environment in order to enable Frama gets the gcc??
What steps are missed in order to make operable Frama-C ?
Thanks in Advance
Additional Information :
Also, I have the environment with Frama-C installed.
HOMEPATH=\Documents and Settings\sal
CAML_LD_LIBRARY_PATH=C:\Frama-C\lib\stublibs
MANPATH=/usr/local/man:/usr/share/man:/usr/man:
APPDATA=C:\Documents and Settings\sal\Datos de programa
HOSTNAME=ACER1
TERM=cygwin
PROCESSOR_IDENTIFIER=x86 Family 6 Model 28 Stepping 2, GenuineIntel
FRAMAC_SHARE=C:\Frama-C\share\frama-c
WINDIR=C:\WINDOWS
OLDPWD=/usr/bin
USERDOMAIN=ACER1
OS=Windows_NT
ALLUSERSPROFILE=C:\Documents and Settings\All Users
USER=sal
!::=::
TEMP=/cygdrive/c/DOCUME1/sal/CONFIG1/Temp
COMMONPROGRAMFILES=C:\Archivos de programa\Archivos comunes
WHYLIB='C:\Frama-C\lib\why'
VXIPNPPATH=C:\VXIpnp
FRAMAC_LIB=C:\Frama-C\lib\frama-c
USERNAME=sal
PROCESSOR_LEVEL=6
PATH=/usr/local/bin:/usr/bin:/bin:/cygdrive/c/WINDOWS/system32:/cygdrive/c/WINDOWS:/cygdrive/c/WINDOWS/System32/Wbem:/cygdrive/c/Archivos de programa/Microsoft USB Flash Drive Manager/:/cygdrive/c/VXIpnp/WinNT/Bin:/cygdrive/c/Archivos de programa/GtkSharp/2.12/bin:/cygdrive/c/Archivos de programa/doxygen/bin:/cygdrive/c/Archivos de programa/Graphviz2.26.3/bin:/cygdrive/c/MCC18/mpasm:/cygdrive/c/MCC18/bin:/cygdrive/c/Archivos de programa/Microsoft USB Flash Drive Manager/:C:/Frama-C/bin
FP_NO_HOST_CHECK=NO
PWD=/cygdrive/c/Documents and Settings/sal
SYSTEMDRIVE=C:
LANG=C.UTF-8
USERPROFILE=C:\Documents and Settings\sal
CLIENTNAME=Console
PS1=[\e]0;\w\a]\n[\e[32m]\u@\h [\e[33m]\w[\e[0m]\n$
LOGONSERVER=\ACER1
PROCESSOR_ARCHITECTURE=x86
!C:=C:\cygwin\bin
ERGOLIB=C:\Frama-C\lib\alt-ergo
SHLVL=1
QUCSDIR=C:\Archivos de programa\Qucs
OCAMLLIB=C:\Frama-C\lib
HOME=/cygdrive/c/Documents and Settings/sal
PATHEXT=.COM;.EXE;.BAT;.CMD;.VBS;.VBE;.JS;.JSE;.WSF;.WSH
HOMEDRIVE=C:
FRAMAC_PLUGIN=C:\Frama-C\lib\frama-c\plugins
PROMPT=PG
MCC_INCLUDE=C:\MCC18\h;
COMSPEC=C:\WINDOWS\system32\cmd.exe
TMP=/cygdrive/c/DOCUME1/sal/CONFIG1/Temp
SYSTEMROOT=C:\WINDOWS
ASCODIR=C:\Archivos de programa\Qucs
PRINTER=CutePDF Printer
CVS_RSH=/bin/ssh
PROCESSOR_REVISION=1c02
tvdumpflags=8
INFOPATH=/usr/local/info:/usr/share/info:/usr/info:
PROGRAMFILES=C:\Archivos de programa
NUMBER_OF_PROCESSORS=2
SESSIONNAME=Console
COMPUTERNAME=ACER1
_=/usr/bin/env