dhall-lang/dhall-kubernetes
1
1
Fork 0
mirror of https://github.com/dhall-lang/dhall-kubernetes.git synced 2024-09-17 10:27:08 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #16 from geigerzaehler/add-file-check

Browse Source 
Add script that checks generated source files
This commit is contained in:
Thomas Scholtes 2018-07-08 18:40:12 +02:00 committed by GitHub
commit b2357dcfa4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 42 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

42
check-source.py Executable file
View File

@ -0,0 +1,42 @@
#!/usr/bin/env python3
#
# Typecheck and resolve all Dhall files in the ./default directory.
#
# Exit with 1 if at least one file fails to check.
#
# Some files are ingnored because they have existing errors.
import sys
from glob import glob
from subprocess import run, DEVNULL, PIPE
# We skip tests for the following set of files
ignored_failures = {
'./default/io.k8s.apiextensions-apiserver.pkg.apis.apiextensions.v1beta1.CustomResourceDefinitionSpec.dhall',
'./default/io.k8s.apiextensions-apiserver.pkg.apis.apiextensions.v1beta1.CustomResourceValidation.dhall',
'./default/io.k8s.apiextensions-apiserver.pkg.apis.apiextensions.v1beta1.JSONSchemaProps.dhall',
'./default/io.k8s.apiextensions-apiserver.pkg.apis.apiextensions.v1beta1.CustomResourceDefinition.dhall',
'./default/io.k8s.apiextensions-apiserver.pkg.apis.apiextensions.v1beta1.CustomResourceDefinitionList.dhall',
'./default/io.k8s.apiextensions-apiserver.pkg.apis.apiextensions.v1beta1.JSONSchemaPropsOrArray.dhall',
'./default/io.k8s.apiextensions-apiserver.pkg.apis.apiextensions.v1beta1.JSONSchemaPropsOrBool.dhall',
'./default/io.k8s.apiextensions-apiserver.pkg.apis.apiextensions.v1beta1.JSONSchemaPropsOrStringArray.dhall',
}
default_files = glob('./default/*.dhall')
failure_files = set()
for default_file in default_files:
if default_file in ignored_failures:
print('Skipping {}'.format(default_file))
continue
print('Checking {}'.format(default_file))
cmd = 'dhall resolve <<< {file}'.format(file=default_file)
result = run(cmd, shell=True, stdout=DEVNULL, stderr=PIPE)
if result.returncode != 0:
print(result.stderr.decode('utf-8'))
failure_files.add(default_file)
if len(failure_files) > 0:
print('The following files failed to check:')
for failure_file in failure_files:
print(' ' + failure_file)
sys.exit(1)