Source code for pydmt.features.make

"""
make.py
"""

import os
from pydmt.api.feature import Feature
from pydmt.builders.make import BuilderMake
from pydmt.core.pydmt import PyDMT


SOURCE_FILE = "Makefile"


[docs] class FeatureMake(Feature):
[docs] def setup(self, pydmt: PyDMT) -> None: if not os.path.isfile(SOURCE_FILE): return pydmt.add_builder(BuilderMake( source=SOURCE_FILE, target="out/make.stamp", ))