Merge branch 'master' of git://ffmssmsc.jinr.ru:443/varg/ginac
[ginac.git] / tools / ginac-excompiler.in
1 #!/bin/sh
2 @CC@ -x c -fPIC -shared -o $1.so $1