[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#569260: marked as done (FTBFS: expression was expected of type string -> string -> string)

Your message dated Thu, 11 Feb 2010 23:17:59 +0000
with message-id <E1NfiIJ-0002nY-RF@ries.debian.org>
and subject line Bug#569260: fixed in frama-c 20090902+beryllium+dfsg-4
has caused the Debian Bug report #569260,
regarding FTBFS: expression was expected of type string -> string -> string
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
569260: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=569260
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: frama-c
Version: 20090902+beryllium+dfsg-3
Severity: serious
Justification: FTBFS

Hi,

your package FTBFS on all archs for +b1 (Recompile with OCaml 3.11.2)
this way:
| ocamlc.opt -I ptests -dtypes -vmthread -g -o bin/ptests.byte \
|             unix.cma threads.cma str.cma dynlink.cma ptests/ptests_config.ml ptests/ptests.ml
| File "ptests/ptests.ml", line 57, characters 6-15:
| Error: This expression has type
|          ?temp_dir:string -> string -> string -> string
|        but an expression was expected of type string -> string -> string
| make[2]: *** [bin/ptests.byte] Error 2

Full build logs:
  https://buildd.debian.org/status/package.php?suite=unstable&p=frama-c

Mraw,
KiBi.

--- End Message ---
--- Begin Message --- 
Source: frama-c
Source-Version: 20090902+beryllium+dfsg-4

We believe that the bug you reported is fixed in the latest version of
frama-c, which is due to be installed in the Debian FTP archive:

frama-c-base_20090902+beryllium+dfsg-4_amd64.deb
  to main/f/frama-c/frama-c-base_20090902+beryllium+dfsg-4_amd64.deb
frama-c_20090902+beryllium+dfsg-4.diff.gz
  to main/f/frama-c/frama-c_20090902+beryllium+dfsg-4.diff.gz
frama-c_20090902+beryllium+dfsg-4.dsc
  to main/f/frama-c/frama-c_20090902+beryllium+dfsg-4.dsc
frama-c_20090902+beryllium+dfsg-4_amd64.deb
  to main/f/frama-c/frama-c_20090902+beryllium+dfsg-4_amd64.deb



A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 569260@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Mehdi Dogguy <mehdi@debian.org> (supplier of updated frama-c package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 11 Feb 2010 20:57:17 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20090902+beryllium+dfsg-4
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description: 
 frama-c    - Framework for source code analysis of software written in C
 frama-c-base - Framework for C source code analysis (without gui)
Closes: 569260
Changes: 
 frama-c (20090902+beryllium+dfsg-4) unstable; urgency=low
 .
   * Make it compile with OCaml 3.11.2 (Closes: #569260)
     - Add 0004-temp_file-changed-in-OCaml-3.11.2.patch
Checksums-Sha1: 
 79b8116099ff571216821da058b8b7a76c0ef14b 2218 frama-c_20090902+beryllium+dfsg-4.dsc
 448604a8ad4712f6542b663fbbd7a91adac88106 24152 frama-c_20090902+beryllium+dfsg-4.diff.gz
 a9f5a99837293a0b8616d96c06ae27fe108b58b4 3188410 frama-c_20090902+beryllium+dfsg-4_amd64.deb
 68ed00e27a19a702c7d96bdcd99145e1c89df9c6 22806768 frama-c-base_20090902+beryllium+dfsg-4_amd64.deb
Checksums-Sha256: 
 4d217f70afaa8c4c6efc2ba3305fe0783b4ab98cda90264af421d1f81cc866aa 2218 frama-c_20090902+beryllium+dfsg-4.dsc
 3bd733e5caa22b3df3028c4bafff016b506a7580ea8b794ad653cc10217a1760 24152 frama-c_20090902+beryllium+dfsg-4.diff.gz
 a11478eaaac5474e7c4a0469749d53c437ba61de4d04d8cce84d18ef8051a1ed 3188410 frama-c_20090902+beryllium+dfsg-4_amd64.deb
 ac755e82b78d24d3384f5001d87df932209f09c78bfe8af7ff8d1c499c393fd2 22806768 frama-c-base_20090902+beryllium+dfsg-4_amd64.deb
Files: 
 5d853bad1c7f6d902f645a9b1b276232 2218 devel extra frama-c_20090902+beryllium+dfsg-4.dsc
 f1ae5a47a61b9e6381af68d99a5f7d49 24152 devel extra frama-c_20090902+beryllium+dfsg-4.diff.gz
 6779d6e58ed636d256d099da768d258a 3188410 devel extra frama-c_20090902+beryllium+dfsg-4_amd64.deb
 5f8a47e6de66443e0bc147b3348a4b82 22806768 devel extra frama-c-base_20090902+beryllium+dfsg-4_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iQIcBAEBCAAGBQJLdIsJAAoJEDO+GgqMLtj/CUYQAMPHEweXms7USswPK/0eJW82
ZO0yH82z1l1ubQJPlq2hOMTm0tsMFncTcB4C5gSMzclz1ZM4uwrWBqPQJ/zPlJIl
shJ7y3yOMh2UNmMgWQdG13Ke3TDCevq+iEjAQrsJEheq7mH4ZS0PrIFl0baO1Wcr
scSAyKp/6FOk+XkuKwaT3BTViqx96F1h5+mTmQEmH3QZU8uaKSFChXvkvrd7FcsY
F8ABAz0AtOOMHw00aCysaEV8kT5beeU5JYvcyWkXT23PHabCAHTfhzmGT1NIn6EI
jjy1TZyeZsXYMA/DHx4zLbrwcEHJrIAxzZG3X8tb5t7Gj6lWwyw5c4S/n3LzzLoL
KAVgvPicL8+VExEE0NDIu4wFWzoSKUAnG9OE0GlrH6BUoiLdfYqYmrrY8N0g3YaZ
HlVtLAo/voUu9mXk9/JBJw3wU2yn4PrUHKRHd4eegYJaxLklooy9sUcSoyhL1d/z
oqxD1jKgCCrYRHa1JAGFnefWJigWu+GEZkFGVSA/OVgBPaDDsuLFobjF6q3SVx2W
vGkwzX5d5GtwzNeroy+pkPtxhbez4bBTPciV92eq8eNDj3cYGnR2JW9VCHHgPoGt
ibjdgFChzgo5AwqCF+9Adx4DSqppnRRoZJtlBukdiXtaLo71sT2R3zD7PmGaEnTg
HkFT0zpoaCU7VJ4szjPK
=Ix0J
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: