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 "" ) |