devcontainer.json

// For format details, see https://aka.ms/devcontainer.json. For config options, see the
// README at: https://github.com/devcontainers/templates/tree/main/src/cpp
{
	"name": "Cifuzz",
	"build": {
		"dockerfile": "Dockerfile",
		"options": [
			"--secret=id=CIFUZZ_CREDENTIALS,env=CIFUZZ_CREDENTIALS"
		]
	},
	"remoteEnv": {
		"CIFUZZ_LLM_API_TOKEN": "${localEnv:CIFUZZ_LLM_API_TOKEN}",
		"CIFUZZ_LLM_AZURE_DEPLOYMENT_NAME": "${localEnv:CIFUZZ_LLM_AZURE_DEPLOYMENT_NAME}",
		"CIFUZZ_LLM_API_URL": "${localEnv:CIFUZZ_LLM_API_URL}",
		"CIFUZZ_LLM_MAX_TOKENS": "${localEnv:CIFUZZ_LLM_MAX_TOKENS}"
	},
	"features": {
		"ghcr.io/devcontainers-community/features/llvm:3": {}
	},
	
	"customizations": {
		"vscode": {
			"extensions": [
				"ryanluker.vscode-coverage-gutters",
				"ms-vscode.cpptools",
				"ms-vscode.cpptools-extension-pack",
				"jeff-hykin.better-cpp-syntax"
			]
		}
	},
	"runArgs": ["--platform=linux/amd64" ]

	// Features to add to the dev container. More info: https://containers.dev/features.
	// "features": {},

	// Use 'forwardPorts' to make a list of ports inside the container available locally.
	// "forwardPorts": [],

	// Use 'postCreateCommand' to run commands after the container is created.
	// "postCreateCommand": "gcc -v",

	// Configure tool-specific properties.
	// "customizations": {},

	// Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root.
	// "remoteUser": "root"
}