Site Tools


onny:notizen

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
onny:notizen [2022/07/04 09:49] – [fd] 10.25.0.100onny:notizen [2022/07/07 08:58] 10.25.0.100
Line 1461: Line 1461:
  
   ];   ];
 +</code>
 +
 +fetchpatch array
 +
 +<code>
 +patches = map fetchpatch [
 +  /* This patch is currently necessary for the unit test suite to run correctly.
 +   * See https://www.mail-archive.com/klee-dev@imperial.ac.uk/msg03136.html
 +   * and https://github.com/klee/klee/pull/1458 for more information.
 +   */
 +  #{
 +  #  name = "fix-gtest";
 +  #  sha256 = "F+/6videwJZz4sDF9lnV4B8lMx6W11KFJ0Q8t1qUDf4=";
 +  #  url = "https://github.com/klee/klee/pull/1458.patch";
 +  #}
 +
 +  # This patch fixes test compile issues with glibc 2.33+.
 +  #{
 +  #  name = "fix-glibc-2.33";
 +  #  sha256 = "PzxqtFyLy9KF1eA9AAKg1tu+ggRdvu7leuvXifayIcc=";
 +  #  url = "https://github.com/klee/klee/pull/1385.patch";
 +  #}
 </code> </code>
  
onny/notizen.txt · Last modified: 2024/05/22 12:10 by 10.250.0.1