Это невозможно сделать без изменения исходного кода самого пакета CDK. Вы, вероятно, не захотите управлять своей собственной расходящейся версией стандартного пакета.
У меня есть CDK в чистых рогах для работы с PipEnv пару раз, и это больше работы, чем стоит на данный момент. Проблема в том, что PipEnv принудительно устанавливает разделитель .
в имени пакета на -
;pipenv install aws-cdk.aws-rds
указан как aws-cdk-aws-rds
в Pipfile, и установки пакетов на самом деле не работают.
Существует открытая проблема в репо для этого (https://github.com/aws/aws-cdk/issues/3671),, так что вы могли бы +1 там в надежде, что они могут решить эту проблему. Это действительно проблема с Pipenv.