I hereby claim:
- I am jbedo on github.
- I am bedo (https://keybase.io/bedo) on keybase.
- I have a public key ASC10zE0v4pqpi-2wOEUxoUD0JE8ZUZVfGd_ReS7-iWBjQo
To claim this, I am signing this object:
| { nixpkgs ? import (import /home/doc/git/allvm-tools/nix/fetch-nixpkgs.nix) { } | |
| }: | |
| let | |
| overlay = self: super: { | |
| stdenv = super.overrideCC (nixpkgs.stdenv) (with nixpkgs; | |
| wrapCCWith { | |
| cc = wllvm; | |
| extraBuildCommands = '' | |
| echo CC=wllvm >> $out/nix-support/setup-hook |
| diff --git a/src/Makevars b/src/Makevars | |
| index 076a2eb..897c911 100644 | |
| --- a/src/Makevars | |
| +++ b/src/Makevars | |
| @@ -2,7 +2,7 @@ CXX_STD = CXX11 | |
| PKG_LIBS = $(LAPACK_LIBS) $(BLAS_LIBS) $(FLIBS) | |
| strip: $(SHLIB) | |
| - if test -e "/usr/bin/strip" & test -e "/bin/uname" & [[ `uname` == "Linux" ]] ; then /usr/bin/strip --strip-debug *.o *.so; fi | |
| - if test -e "/usr/bin/strip" & test -e "/usr/bin/uname" & [[ `uname` == "Darwin" ]] ; then /usr/bin/strip -S *.o *.so; fi |
| {pkgs ? import <nixpkgs> {} }: | |
| with pkgs; | |
| singularity-tools.buildImage { | |
| name = "test"; | |
| contents = [ hello ]; | |
| runScript = "${hello}/bin/hello"; | |
| } |
I hereby claim:
To claim this, I am signing this object:
| { stdenv, fetchgit, boost, openssl, db48, miniupnpc, autoconf, automake, libtool, pkgconfig, zlib, makeWrapper }: | |
| stdenv.mkDerivation rec { | |
| name = "twister-git"; | |
| src = fetchgit { | |
| url = "https://github.com/miguelfreitas/twister-core"; | |
| }; | |
| html = fetchgit { |
| module Main where | |
| import Data.Array.Accelerate as A | |
| import Data.Array.Accelerate.Interpreter as I | |
| import Data.Array.Accelerate.CUDA as C | |
| import Prelude as P | |
| type EFloat = (Float, Float) -- Represents a real number with a value and error | |
| fromFloat :: Float -> EFloat |
| 100.10.100.10.10: Biological fluid mechanics | |
| 100.10.100.10.20: Bone and joint mechanics | |
| 100.10.100.10.30: Cell mechanics | |
| 100.10.100.10: Biomechanics | |
| 100.10.100.20: Bone | |
| 100.10.100.30: Cartilage | |
| 100.10.100.40: Exertion | |
| 100.10.100.50: Hand strength | |
| 100.10.100.60.10: Muscle biochemistry | |
| 100.10.100.60.20: Muscle components |
| #!/usr/bin/awk -f | |
| BEGIN{ | |
| linelen=70 | |
| indent=0 | |
| braces=0 | |
| FS="\\.[\t ]+" | |
| } | |
| /\\end\{/{indent--} |
| #!/bin/sh | |
| sha256 $* | awk '{match($0, /\(.*\)/); | |
| path = substr($0, RSTART+1, RLENGTH-2) | |
| print $NF, path}' |
| #!/usr/bin/env rc | |
| . 9.rc | |
| f=/tmp/fmt.$pid | |
| fmt -l9999 | sed -e 's/([;\.])[ ]+/\1\n/g' > $f | |
| cat $f | while(line=`{read}){ | |
| if(! ~ $line "" ) |