{"payload":{"allShortcutsEnabled":false,"fileTree":{"":{"items":[{"name":"algebra","path":"algebra","contentType":"directory"},{"name":"broken","path":"broken","contentType":"directory"},{"name":"classes","path":"classes","contentType":"directory"},{"name":"complex","path":"complex","contentType":"directory"},{"name":"coq_reals","path":"coq_reals","contentType":"directory"},{"name":"doc","path":"doc","contentType":"directory"},{"name":"dump","path":"dump","contentType":"directory"},{"name":"examples","path":"examples","contentType":"directory"},{"name":"fta","path":"fta","contentType":"directory"},{"name":"ftc","path":"ftc","contentType":"directory"},{"name":"logic","path":"logic","contentType":"directory"},{"name":"metric2","path":"metric2","contentType":"directory"},{"name":"metrics","path":"metrics","contentType":"directory"},{"name":"model","path":"model","contentType":"directory"},{"name":"ode","path":"ode","contentType":"directory"},{"name":"old","path":"old","contentType":"directory"},{"name":"order","path":"order","contentType":"directory"},{"name":"raster","path":"raster","contentType":"directory"},{"name":"reals","path":"reals","contentType":"directory"},{"name":"site_scons","path":"site_scons","contentType":"directory"},{"name":"stdlib_omissions","path":"stdlib_omissions","contentType":"directory"},{"name":"tactics","path":"tactics","contentType":"directory"},{"name":"tools","path":"tools","contentType":"directory"},{"name":"transc","path":"transc","contentType":"directory"},{"name":"util","path":"util","contentType":"directory"},{"name":".gitignore","path":".gitignore","contentType":"file"},{"name":"LICENSE","path":"LICENSE","contentType":"file"},{"name":"Make.in","path":"Make.in","contentType":"file"},{"name":"README.md","path":"README.md","contentType":"file"},{"name":"SConstruct","path":"SConstruct","contentType":"file"},{"name":"configure.sh","path":"configure.sh","contentType":"file"},{"name":"description","path":"description","contentType":"file"}],"totalCount":32}},"fileTreeProcessingTime":10.110274,"foldersToFetch":[],"incompleteFileTree":false,"repo":{"id":51028940,"defaultBranch":"master","name":"corn","ownerLogin":"iblumenfeld","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2016-02-03T20:39:17.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/4325408?v=4","public":true,"private":false,"isOrgOwned":false},"codeLineWrapEnabled":false,"symbolsExpanded":false,"treeExpanded":true,"refInfo":{"name":"master","listCacheKey":"v0:1616067143.566432","canEdit":false,"refType":"branch","currentOid":"7bce94c6eb0e5ddefb215c974dede320d6962792"},"path":"SConstruct","currentUser":null,"blob":{"rawLines":["import os, glob, string","","# Removing examples directory since we do not need it every time.","dirs_to_compile = ['algebra', 'complex', 'coq_reals', 'fta', 'ftc', 'logic', 'metrics', 'model', 'raster', 'reals', 'tactics', 'transc', 'order', 'metric2', 'Liouville', 'stdlib_omissions', 'util', 'classes', 'ode']","","nodes = map(lambda x: './' + x, dirs_to_compile)","dirs = []","vs = []","","env = DefaultEnvironment(ENV = os.environ, tools=['default', 'Coq'])","","while nodes:"," node = nodes.pop()"," b = os.path.basename(node)"," if (node.endswith('.v')"," and not b.startswith('Opaque_')"," and not b.startswith('Transparent_')):"," vs += [File(node)]"," if os.path.isdir(node):"," dirs += [node]"," nodes += glob.glob(node + '/*')","","includes = ' '.join(map(lambda x: '-I ' + x, dirs[1:]))","Rs = '-R . CoRN'","coqcmd = 'coqc ${str(SOURCE)[:-2]} ' + Rs","","env['COQFLAGS'] = Rs","","for node in vs: env.Coq(node, COQCMD=coqcmd)","","os.system('coqdep ' + ' '.join(map(str, vs)) + ' ' + includes + ' ' + Rs + ' \u003e deps')","ParseDepends('deps')","","open('coqidescript', 'w').write('#!/bin/sh\\ncoqide ' + Rs + ' $@ \\n')","os.chmod('coqidescript', 0755)","","env.CoqDoc(env.Dir('coqdoc'), vs, COQDOCFLAGS='-utf8 --toc -g --no-lib-name --coqlib http://coq.inria.fr/library')","","#env.Command('deps.dot', [], 'tools/DepsToDot.hs \u003c deps \u003e $TARGET')"],"stylingDirectives":null,"colorizedLines":null,"csv":null,"csvError":null,"dependabotInfo":{"showConfigurationBanner":false,"configFilePath":null,"networkDependabotPath":"/iblumenfeld/corn/network/updates","dismissConfigurationNoticePath":"/settings/dismiss-notice/dependabot_configuration_notice","configurationNoticeDismissed":null},"displayName":"SConstruct","displayUrl":"https://github.com/iblumenfeld/corn/blob/master/SConstruct?raw=true","headerInfo":{"blobSize":"1.26 KB","deleteTooltip":"You must be signed in to make or propose changes","editTooltip":"You must be signed in to make or propose changes","ghDesktopPath":"https://desktop.github.com","isGitLfs":false,"onBranch":true,"shortPath":"a15ace6","siteNavLoginPath":"/login?return_to=https%3A%2F%2Fgithub.com%2Fiblumenfeld%2Fcorn%2Fblob%2Fmaster%2FSConstruct","isCSV":false,"isRichtext":false,"toc":null,"lineInfo":{"truncatedLoc":"39","truncatedSloc":"28"},"mode":"file"},"image":false,"isCodeownersFile":null,"isPlain":false,"isValidLegacyIssueTemplate":false,"issueTemplate":null,"discussionTemplate":null,"language":"Python","languageID":303,"large":false,"planSupportInfo":{"repoIsFork":null,"repoOwnedByCurrentUser":null,"requestFullPath":"/iblumenfeld/corn/blob/master/SConstruct","showFreeOrgGatedFeatureMessage":null,"showPlanSupportBanner":null,"upgradeDataAttributes":null,"upgradePath":null},"publishBannersInfo":{"dismissActionNoticePath":"/settings/dismiss-notice/publish_action_from_dockerfile","releasePath":"/iblumenfeld/corn/releases/new?marketplace=true","showPublishActionBanner":false},"rawBlobUrl":"https://github.com/iblumenfeld/corn/raw/refs/heads/master/SConstruct","renderImageOrRaw":false,"richText":null,"renderedFileInfo":null,"shortPath":null,"symbolsEnabled":true,"tabSize":8,"topBannersInfo":{"overridingGlobalFundingFile":false,"globalPreferredFundingPath":null,"showInvalidCitationWarning":false,"citationHelpUrl":"https://docs.github.com/github/creating-cloning-and-archiving-repositories/creating-a-repository-on-github/about-citation-files","actionsOnboardingTip":null},"truncated":false,"viewable":true,"workflowRedirectUrl":null,"symbols":null},"copilotInfo":null,"copilotAccessAllowed":false,"modelsAccessAllowed":false,"modelsRepoIntegrationEnabled":false,"isMarketplaceEnabled":true,"csrf_tokens":{"/iblumenfeld/corn/branches":{"post":"jGQn6NNg0PUukyJMEEa3FUA0WE70EWYgoS-A-RbVhkDpFRdNLWafRADo0LfIhJ2SctLfm08ocNKkRZJOKE2zPA"},"/repos/preferences":{"post":"bo9JQN-E0umdiZCckNRorfDOq-Kj4kPl7tv2uBCghrKGCJrDQ868v4XRmsOj6rrYSVBRC_POvokgIHy4lpYHBg"}}},"title":"corn/SConstruct at master · iblumenfeld/corn","appPayload":{"helpUrl":"https://docs.github.com","findFileWorkerPath":"/assets-cdn/worker/find-file-worker-263cab1760dd.js","findInFileWorkerPath":"/assets-cdn/worker/find-in-file-worker-0b6f8702959e.js","githubDevUrl":null,"enabled_features":{"code_nav_ui_events":false,"react_blob_overlay":false,"accessible_code_button":true}}}
You can’t perform that action at this time.