diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2011-02-09T12·48+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2011-02-09T12·48+0000 |
commit | 3087b3f7513ce713e0b759f63b9a4e9142e46f82 (patch) | |
tree | ef9c92ef186a8336dc8d293f37052247a008cd06 /make/lib/make-library.sh | |
parent | eb94581d399b8d0945b883b14c4a892fdab95dfc (diff) |
* Obsolete.
Diffstat (limited to 'make/lib/make-library.sh')
-rw-r--r-- | make/lib/make-library.sh | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/make/lib/make-library.sh b/make/lib/make-library.sh deleted file mode 100644 index a486a7bf740c..000000000000 --- a/make/lib/make-library.sh +++ /dev/null @@ -1,28 +0,0 @@ -. $stdenv/setup - -objs= -for i in $objects; do - obj=$(echo $i/*.o) - objs="$objs $obj" -done - -echo "archiving object files into library \`$libraryName'..." - -ensureDir $out - -if test -z "$sharedLib"; then - - outPath=$out/lib${libraryName}.a - - ar crs $outPath $objs - ranlib $outPath - -else - - outPath=$out/lib${libraryName}.so - - gcc -shared -o $outPath $objs - -fi - - |