# Install Node dependencies for repository tools.
npm-install: npm-install-trapos-server

# Install Node dependencies for trapos-server.
npm-install-trapos-server:
    npm install --prefix tools/trapos-server/

# Build Node-based repository tools.
npm-build: npm-build-trapos-server

npm-build-trapos-server:
    npm run build --prefix tools/trapos-server/

# Check Node-based repository tools.
npm-check: npm-check-trapos-server

npm-check-trapos-server:
    npm run check --prefix tools/trapos-server/

# Run Node-based tool tests.
npm-test: npm-test-trapos-server

npm-test-trapos-server:
    npm test --prefix tools/trapos-server/

# Run Node-based tool integration tests.
npm-test-integration: stage npm-test-integration-trapos-server

npm-test-integration-trapos-server:
    npm run test:integration --prefix tools/trapos-server/

# Build generated artifacts.
build: npm-build stage
