diff options
Diffstat (limited to 'src/tesserae/valgrind.nim')
| -rw-r--r-- | src/tesserae/valgrind.nim | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/tesserae/valgrind.nim b/src/tesserae/valgrind.nim deleted file mode 100644 index d01d02e..0000000 --- a/src/tesserae/valgrind.nim +++ /dev/null @@ -1,18 +0,0 @@ -import .. / lapis - -tessera "valgrind": - source: "https://sourceware.org/pub/valgrind/valgrind-3.25.1.tar.bz2" - patches: @[""] - dependencies: @[ - "libalo" - ] - build: @[ - "sed -i 's|/doc/valgrind||' docs/Makefile.in", - """ - ./configure --prefix=/usr \ - --datasir=/usr/share/doc/valgrind-3.25.1 - """, - "make", - "make install" - ] - result: "valgrind" |
