mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-21 05:00:16 +00:00
9 lines
246 B
Bash
9 lines
246 B
Bash
|
source $stdenv/setup
|
||
|
|
|
||
|
|
configureFlags="--with-aterm=$aterm --with-sdf=$sdf --with-strategoxt=$strategoxt"
|
||
|
|
genericBuild
|
||
|
|
|
||
|
|
# Replace /bin/bash in WebDSL script (maybe there is a better solution?)
|
||
|
|
|
||
|
|
sed -i -e "s|#!/bin/bash|#!/bin/sh|" $out/bin/webdsl
|