Revert "ditch bash script for custom setup"
This reverts commit 1399946c4d582eaabb64cece292a48159b745e64.
This commit is contained in:
parent
22b6fac5b5
commit
c37b013467
14
Setup.hs
14
Setup.hs
@ -1,14 +0,0 @@
|
|||||||
import Distribution.Simple
|
|
||||||
import Distribution.Simple.LocalBuildInfo
|
|
||||||
import Distribution.Utils.Path
|
|
||||||
import System.Directory
|
|
||||||
|
|
||||||
main :: IO ()
|
|
||||||
main =
|
|
||||||
defaultMainWithHooks
|
|
||||||
simpleUserHooks
|
|
||||||
-- place static lib in position for bundling
|
|
||||||
{ buildHook = \pkg lbi hooks flags -> do
|
|
||||||
copyFile "rust/target/debug/libgarnet_rs.a" $ getSymbolicPath (buildDir lbi) </> "libgarnet_rs.a"
|
|
||||||
buildHook simpleUserHooks pkg lbi hooks flags
|
|
||||||
}
|
|
||||||
@ -6,13 +6,6 @@ author: Patrick Aldis
|
|||||||
maintainer:
|
maintainer:
|
||||||
george.thomas@obsidian.systems
|
george.thomas@obsidian.systems
|
||||||
patrick.aldis@obsidian.systems
|
patrick.aldis@obsidian.systems
|
||||||
build-type: Custom
|
|
||||||
|
|
||||||
custom-setup
|
|
||||||
setup-depends:
|
|
||||||
base,
|
|
||||||
Cabal,
|
|
||||||
directory,
|
|
||||||
|
|
||||||
common common
|
common common
|
||||||
default-language: GHC2024
|
default-language: GHC2024
|
||||||
|
|||||||
5
generate-bindings
Executable file
5
generate-bindings
Executable file
@ -0,0 +1,5 @@
|
|||||||
|
#!/usr/bin/env bash
|
||||||
|
set -euo pipefail
|
||||||
|
|
||||||
|
# place static lib in position for bundling with Cabal
|
||||||
|
cp rust/target/debug/libgarnet_rs.a $(cabal list-bin . | sed -e 's=x/garnet/build/garnet/garnet=build=g')
|
||||||
Loading…
x
Reference in New Issue
Block a user