-
Notifications
You must be signed in to change notification settings - Fork 26
Makefile
drasil-bot edited this page Jul 25, 2024
·
8 revisions
Warning: Wiki should not be edited directly. Edit the files in the ./wiki/ folder instead and make a PR.
To get started with Drasil, try running make
. You can also run make help
in Drasil/code
to get a list of available commands, as well as some starting instructions. For convenience, we will list more Makefile information below, however it may not be as up-to-date as make help
.
The most commonly used targets are listed here:
-
make help
will show you a list of available commands. Alternatively, if your terminal shell supports tab-complete, you should also be able to type a few characters towards a target and hit TAB to see a list of available targets that start with what you wrote. -
make help_examples
will list all examples generated by Drasil. Useful for the example-specific targets, where X is the example. -
make
runsmake test
. Generates each example and tests against a stable version of the generated artifacts.-
make tracegraphs
performsmake test
and then generates SVG, PNG, and PDF representations of the traceability graphs for viewing in the generated SRS documents.
-
-
make hlint
/make hot_hlint
tests the linter against your codebase, checking for code that can be cleaned up. -
make pr_ready
runsmake all
andmake hot_hlint
, testing your artifact diffs and checking lint tests. If it runs successfully, then your should be a bit closer to being "Pull Request Ready" (up to your judgment). -
make clean
allows for make to be run from scratch (by runningstack clean
in all the directories) -
make cleanArtifacts
(ormake clean_artifacts
) will clean your workspace, deleting all generated artifacts -
make stabilize
lets you rapidly copy over any stable-breaking changes from thebuild/
folder (make <example>_stabilize
will allow you to do this for a specific example too). See this Wiki article for more details. -
make docs
builds the Haddock documentation for the full Drasil suite. Notably, it creates 2 folderscode/docs
andcode/docs/full
, respectively containing the external Haddock documentation and internal Haddock documentation (with all modules fully exposed). If you would like to preview what your documentation changes look like, you should open up the relatedcode/docs/index.html
orcode/docs/full/index.html
file in your web browser and navigate to the areas you're interested in. -
make website
- "Lightweight" local deployment of the website. It does not create all required artifacts, only the website. -
make deploy
- "Complete" local deployment of the website, compiling TeX, code files, and everything else too! -
make X_mdbook_server
- Build a specific mdBook example, copy over the assets, and start the server. Please usemake help_examples
for the complete list of potential values for X.
- Home
- Getting Started
- Documentation (of Drasil specifics)
- Design
-
Readings
- Drasil Papers and Documents
- Related Work and Inspiration
- Writing Documentation
- Compression as a Means to Learn Structure
- Glossary, Taxonomy, Ontology
- Grounded Theory
- Model Driven Scrapbook
- Model Transformation Languages
- ODE Definitions
- The Code Generator
- Suggested Reading
- Sustainability
- Productivity
- Reuse
- Formal Concept Analysis
- Generative Programming
- Software Documentation
- Units and Quantities
- Misc.
- WIP Projects