Discussion :

[satsolver]

help needed here
JE viens juste d'installer le GPS de adacore il bloque sur save as

[satsolver]

J'utilise un Vista premium, je ne peux rien compiler ni avec gcc ni gnatmake.
Que dois-je faire ?

Voici le message d'erreur :

C:\Users\lalama>gcc -o oll Documents\master\security\buffer\exemple.c -v
Using built-in specs.
Target: pentium-mingw32msv
Configured with: /riga.d/release-gpl/build-riga/src/configure --prefix=/gnat-pr
es=c,ada --disable-nls --disable-libada --target=pentium-mingw32msv --host=pent
d=pentium-mingw32msv --enable-checking=release --enable-threads=win32 --disable
Thread model: win32
gcc version 4.1.3 20070403 for GNAT GPL 2007 (20070402)
cc1 -quiet -v -iprefix c:\users\lalama\../lib/gcc/pentium-mingw32msv/4.1.3/ Do
ty\buffer\exemple.c -quiet -dumpbase exemple.c -mtune=pentium -auxbase exemple
a.s
gcc: _spawnvp: No such file or directory