build: add --local-flint to set rpath in dev build - #135

build: add --local-flint to set rpath in dev build#135

oscarbenjamin merged 2 commits into

flintlib:masterflintlib/python-flint:masterfrom

oscarbenjamin:pr_flint_rpathoscarbenjamin/python-flint:pr_flint_rpathCopy head branch name to clipboard